From c2008aff6f227d9a84e45faa7ab8e421290c96d6 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Sat, 15 Nov 2008 22:08:52 +0000
Subject: Correct display of constraints for Print Universes "dumpfile"

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11593 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/univ.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/univ.ml b/kernel/univ.ml
index 1251d09f5d..58266a50f2 100644
--- a/kernel/univ.ml
+++ b/kernel/univ.ml
@@ -613,12 +613,12 @@ let dump_universes output g =
 	let u_str = string_of_univ_level u in
 	  List.iter 
 	    (fun v -> 
-	       Printf.fprintf output "%s > %s ;\n" u_str
+	       Printf.fprintf output "%s < %s ;\n" u_str
 		 (string_of_univ_level v)) 
 	    lt;
 	  List.iter 
 	    (fun v -> 
-	       Printf.fprintf output "%s >= %s ;\n" u_str
+	       Printf.fprintf output "%s <= %s ;\n" u_str
 		 (string_of_univ_level v)) 
 	    le
     | Equiv (u,v) ->
-- 
cgit v1.2.3