Adapt to coq/coq#19530

liyishuai · Sep 17, 2024 · 420903f · 420903f
1 parent 71974c1
commit 420903f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Parser.vy b/Parser.vy
@@ -1,4 +1,5 @@
 %{From JSON Require Export JSON.
+From Coq Require Extraction.
 From Coq Require Export
      List.
 Export