Merge pull request #807 from SkySkimmer/discharge-export

Adapt to coq/coq#19361 (libobject export object type change)
ejgallego · Jul 17, 2024 · fed26ce · fed26ce
2 parents 273db12 + 1b5f9bd
commit fed26ce
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/serlib/ser_libobject.ml b/serlib/ser_libobject.ml
@@ -66,6 +66,11 @@ type obj =
   [%import: Libobject.obj]
   [@@deriving sexp]
 
+module ExportObj = struct
+  type t = [%import: Libobject.ExportObj.t]
+  [@@unboxed] [@@deriving sexp]
+end
+
 type algebraic_objects =
   [%import: Libobject.algebraic_objects]
 and t = [%import: Libobject.t]

diff --git a/vendor/coq b/vendor/coq