From a398e90fe0828d62a2a2a9ecc87bd3c8d29daf8c Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Mon, 18 Aug 2014 19:14:09 +0200
Subject: Fix pretty-printing of the graph in Print Sorted Universes. Type.0
 was larger than Type.1 etc...

---
 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 942c90aa28..fbdb5bb0d7 100644
--- a/kernel/univ.ml
+++ b/kernel/univ.ml
@@ -2088,8 +2088,8 @@ let dump_universes output g =
   let dump_arc u = function
     | Canonical {univ=u; lt=lt; le=le} ->
 	let u_str = Level.to_string u in
-	List.iter (fun v -> output Lt u_str (Level.to_string v)) lt;
-	List.iter (fun v -> output Le u_str (Level.to_string v)) le
+	List.iter (fun v -> output Lt (Level.to_string v) u_str) lt;
+	List.iter (fun v -> output Le (Level.to_string v) u_str) le
     | Equiv v ->
       output Eq (Level.to_string u) (Level.to_string v)
   in
-- 
cgit v1.2.3