better output format

diff --git a/helm/gTopLevel/testlibrary.ml b/helm/gTopLevel/testlibrary.ml
index a4675a75100ed18f92493712e9862c740414c489..0d09eb0e3704de85f942b8fd5f0ecde7b47a6f5b 100644 (file)
--- a/helm/gTopLevel/testlibrary.ml
+++ b/helm/gTopLevel/testlibrary.ml
@@ -90,7 +90,7 @@ let _ =
         | `Stdin -> input_line stdin
         | `Cmdline -> Sys.argv.(!idx)
       in
-      printf "Testing URI: %s ...\t";
+      printf "Testing URI: %-55s " (uri_str ^ " ..."); flush stdout;
       let uri = UriManager.uri_of_string uri_str in
       if test_uri uri then begin
         print_endline "\e[01;32m[   OK   ]\e[00m";