diff options
Diffstat (limited to 'test/Moretest/bigints.ml')
| -rw-r--r-- | test/Moretest/bigints.ml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/test/Moretest/bigints.ml b/test/Moretest/bigints.ml deleted file mode 100644 index 0b101ffa1f..0000000000 --- a/test/Moretest/bigints.ml +++ /dev/null @@ -1,12 +0,0 @@ -let _ = - print_int 1000000000; print_newline(); - print_int 10000000000; print_newline(); - print_int 100000000000; print_newline(); - print_int 1000000000000; print_newline(); - print_int 10000000000000; print_newline(); - print_int 100000000000000; print_newline(); - print_int 1000000000000000; print_newline(); - print_int 10000000000000000; print_newline(); - print_int 100000000000000000; print_newline(); - print_int 1000000000000000000; print_newline() - |