diff options
Diffstat (limited to 'testsuite/lib/testing.ml')
| -rw-r--r-- | testsuite/lib/testing.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/lib/testing.ml b/testsuite/lib/testing.ml index aa8933a78..4b49cfc0a 100644 --- a/testsuite/lib/testing.ml +++ b/testsuite/lib/testing.ml @@ -30,7 +30,7 @@ at_exit finish;; let test_num = ref (-1);; let print_test_number () = - print_int !test_num; print_string " "; flush stdout;; + print_string " "; print_int !test_num; flush stdout;; let next_test () = incr test_num; @@ -93,4 +93,3 @@ let any_failure_test = test_raises_some_failure;; let scan_failure_test f x = test_raises_exc_p (function Scan_failure _ -> true | _ -> false) f x;; - |