Adapt to coq/coq#19023 (Vernacexpr.subproof_kind)

ejgallego · Oct 22, 2024 · 5765cbb · 5765cbb
1 parent fae278e
commit 5765cbb
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
@@ -281,6 +281,10 @@ type scheme =
   [%import: Vernacexpr.scheme]
   [@@deriving sexp,yojson,hash,compare]
 
+type subproof_kind =
+  [%import: Vernacexpr.subproof_kind]
+  [@@deriving sexp,yojson,hash,compare]
+
 type section_subset_expr =
   [%import: Vernacexpr.section_subset_expr]
   [@@deriving sexp,yojson,hash,compare]

diff --git a/serlib/ser_vernacexpr.mli b/serlib/ser_vernacexpr.mli
@@ -204,6 +204,10 @@ type scheme =
   [%import: Vernacexpr.scheme]
   [@@deriving sexp,yojson,hash,compare]
 
+type subproof_kind =
+  [%import: Vernacexpr.subproof_kind]
+  [@@deriving sexp,yojson,hash,compare]
+
 type section_subset_expr =
   [%import: Vernacexpr.section_subset_expr]
   [@@deriving sexp,yojson,hash,compare]