1 files changed, 6 insertions, 6 deletions
diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index 3244f8288f..ee69f55744 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -211,11 +211,11 @@ let dump_universes s =
       begin fun kind left right ->
         let () = Lazy.force init in
         match kind with
-          | `Lt ->
+          | Univ.Lt ->
             Printf.fprintf output "  \"%s\" -> \"%s\" [style=bold];\n" right left
-          | `Le ->
+          | Univ.Le ->
             Printf.fprintf output "  \"%s\" -> \"%s\" [style=solid];\n" right left
-          | `Eq ->
+          | Univ.Eq ->
             Printf.fprintf output "  \"%s\" -> \"%s\" [style=solid];\n" left right;
             Printf.fprintf output "  \"%s\" -> \"%s\" [style=solid];\n" right left
       end, begin fun () ->
@@ -225,9 +225,9 @@ let dump_universes s =
     end else begin
       begin fun kind left right ->
         let kind = match kind with
-          | `Lt -> "<"
-          | `Le -> "<="
-          | `Eq -> "="
+          | Univ.Lt -> "<"
+          | Univ.Le -> "<="
+          | Univ.Eq -> "="
         in Printf.fprintf output "%s %s %s ;\n" left kind right
       end, (fun () -> close_out output)
     end