Merge pull request #826 from SkySkimmer/ltac2-ctor-warn

Adapt to coq/coq#19575 (ltac2 parsing uses attributes)
ejgallego · Oct 1, 2024 · 670cf0d · 670cf0d
2 parents 5cca781 + 3301018
commit 670cf0d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/serlib/plugins/ltac2/ser_tac2expr.ml b/serlib/plugins/ltac2/ser_tac2expr.ml
@@ -12,6 +12,7 @@ module Loc = Ser_loc
 module CAst = Ser_cAst
 module Names = Ser_names
 module Libnames = Ser_libnames
+module Attributes = Ser_attributes
 
 open Sexplib.Std
 open Ppx_hash_lib.Std.Hash.Builtin