Merge pull request #610 from gares/quickfix-deprecated

adapt to coq/coq#19300
mattam82 · Jul 8, 2024 · abed609 · abed609
2 parents 6dd6383 + b4dbc59
commit abed609
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/syntax.ml b/src/syntax.ml
@@ -258,7 +258,7 @@ let tactic_parser : qualid Attributes.key_parser = fun ?loc orig args ->
   assert_once ?loc ~name:"tactic" orig;
   match args with
   | VernacFlagLeaf (FlagString str) -> qualid_of_string str
-  | VernacFlagLeaf (FlagIdent str) -> qualid_of_string str
+  | VernacFlagLeaf (FlagQualid q) -> q
   |  _ -> CErrors.user_err ?loc (Pp.str "Ill formed \"tactic\" attribute")
 let equations_tactic =
   Attributes.attribute_of_list ["tactic",tactic_parser]