diff options
Diffstat (limited to 'test/Moretest/testrandom.ml')
| -rw-r--r-- | test/Moretest/testrandom.ml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/test/Moretest/testrandom.ml b/test/Moretest/testrandom.ml deleted file mode 100644 index 150d408898..0000000000 --- a/test/Moretest/testrandom.ml +++ /dev/null @@ -1,13 +0,0 @@ -open Random - -let _ = - for i = 0 to 20 do - print_float (float 1000.); print_char ' ' - done; - print_newline (); print_newline (); - for i = 0 to 20 do - print_int (int 1000); print_char ' ' - done - -let _ = exit 0 - |