Merge pull request #801 from gares/quickfix-deprecated

adapt to coq/coq#19300
ejgallego · Jul 8, 2024 · 821edf9 · 821edf9
2 parents 8c995f4 + baf2341
commit 821edf9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/serlib/ser_attributes.ml b/serlib/ser_attributes.ml
@@ -21,6 +21,7 @@ open Ppx_compare_lib.Builtin
 open Sexplib.Std
 
 module CAst = Ser_cAst
+module Libnames = Ser_libnames
 
 type vernac_flag_type =
   [%import: Attributes.vernac_flag_type]