diff --git a/cparser/Parser.vy b/cparser/Parser.vy
index 123373677f..cb1873b886 100644
--- a/cparser/Parser.vy
+++ b/cparser/Parser.vy
@@ -16,6 +16,7 @@
 
 %{
 
+Require Extraction.
 Require Import List.
 Require Cabs.