Make dependency on Extraction explicit (#515)

There used to be an implicit dependency through the Coq standard library, but it is being removed by coq/coq#19343 .
AbsInt · Jul 15, 2024 · 72c6a18 · 72c6a18
1 parent f993018
commit 72c6a18
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cparser/Parser.vy b/cparser/Parser.vy
@@ -16,6 +16,7 @@
 
 %{
 
+Require Extraction.
 Require Import List.
 Require Cabs.