From 1310a684c8dbcbf3c94022c8e9b6cec3bf092e3d Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 14 Nov 2018 13:40:00 +0100
Subject: Use universe names when printing to dot.

---
 kernel/uGraph.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/uGraph.mli')

diff --git a/kernel/uGraph.mli b/kernel/uGraph.mli
index 4336a22b8c..a2cc5b3116 100644
--- a/kernel/uGraph.mli
+++ b/kernel/uGraph.mli
@@ -86,7 +86,7 @@ val check_subtype : AUContext.t check_function
 (** {6 Dumping to a file } *)
 
 val dump_universes :
-  (constraint_type -> string -> string -> unit) -> t -> unit
+  (constraint_type -> Level.t -> Level.t -> unit) -> t -> unit
 
 (** {6 Debugging} *)
 val check_universes_invariants : t -> unit
-- 
cgit v1.2.3