Adapt w.r.t. coq/coq#19343.

AbsInt · Jul 11, 2024 · a25e8c4 · a25e8c4
1 parent f993018
commit a25e8c4
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.