Merge pull request #864 from SkySkimmer/constraint-source

Adapt to coq/coq#19617 (Vernacexpr.print_universes)
ejgallego · Oct 23, 2024 · f309a17 · f309a17
2 parents 0275e8d + b9ad6aa
commit f309a17
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/serlib/ser_vernacexpr.ml b/serlib/ser_vernacexpr.ml
@@ -73,6 +73,10 @@ type debug_univ_name =
   [%import: Vernacexpr.debug_univ_name]
   [@@deriving sexp,yojson,hash,compare]
 
+type print_universes =
+  [%import: Vernacexpr.print_universes]
+  [@@deriving sexp,yojson,hash,compare]
+
 type printable =
   [%import: Vernacexpr.printable]
   [@@deriving sexp,yojson,hash,compare]

diff --git a/serlib/ser_vernacexpr.mli b/serlib/ser_vernacexpr.mli
@@ -52,6 +52,10 @@ type debug_univ_name =
   [%import: Vernacexpr.debug_univ_name]
   [@@deriving sexp,yojson,hash,compare]
 
+type print_universes =
+  [%import: Vernacexpr.print_universes]
+  [@@deriving sexp,yojson,hash,compare]
+
 type printable =
   [%import: Vernacexpr.printable]
   [@@deriving sexp,yojson,hash,compare]