From 6fedbf02acadaa79520d0418a6b737c745dda5bd Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 5 Feb 2004 17:47:07 +0000
Subject: [PATCH] better output format

---
 helm/gTopLevel/testlibrary.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/gTopLevel/testlibrary.ml b/helm/gTopLevel/testlibrary.ml
index a4675a751..0d09eb0e3 100644
--- 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 "[   OK   ]";
-- 
2.39.2