diff options
Diffstat (limited to 'kernel/uGraph.ml')
-rw-r--r-- | kernel/uGraph.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/uGraph.ml b/kernel/uGraph.ml index 356cf4da6..ee4231b1f 100644 --- a/kernel/uGraph.ml +++ b/kernel/uGraph.ml @@ -834,8 +834,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 (Level.to_string v) u_str) lt; - List.iter (fun v -> output Le (Level.to_string v) u_str) le + 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 | Equiv v -> output Eq (Level.to_string u) (Level.to_string v) in |