From a25e8c455967d4db7b1bfe3987f51c28975e8074 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre-Marie=20P=C3=A9drot?= <pierre-marie.pedrot@inria.fr>
Date: Thu, 11 Jul 2024 11:10:21 +0200
Subject: [PATCH] Adapt w.r.t. coq/coq#19343.

---
 cparser/Parser.vy | 1 +
 1 file changed, 1 insertion(+)

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.