From 68b1fa3bceffef3c3dfef8b2f041f2e5eb4d3173 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sun, 27 Jan 2013 14:36:36 +0000
Subject: Improving formatting of output of "Test table".

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16159 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/goptions.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'library/goptions.ml')

diff --git a/library/goptions.ml b/library/goptions.ml
index 858ebbfc8..550ded685 100644
--- a/library/goptions.ml
+++ b/library/goptions.ml
@@ -105,10 +105,10 @@ module MakeTable =
     let print_table table_name printer table =
       pp (str table_name ++
 	   (hov 0
-	      (if MySet.is_empty table then str "None" ++ fnl ()
+	      (if MySet.is_empty table then str " None" ++ fnl ()
                else MySet.fold
-		 (fun a b -> printer a ++ spc () ++ b)
-		 table (mt ()) ++ fnl ())))
+		 (fun a b -> spc () ++ printer a ++ b)
+		 table (mt ()) ++ str "." ++ fnl ())))
 
     class table_of_A () =
     object
-- 
cgit v1.2.3