From 72c6a1832243eef45aad26b9cc6f70a588ff74d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre-Marie=20P=C3=A9drot?= <pierre-marie.pedrot@inria.fr>
Date: Mon, 15 Jul 2024 13:04:32 +0200
Subject: [PATCH] Make dependency on Extraction explicit (#515)

There used to be an implicit dependency through the Coq standard library, but it is being removed by
https://github.com/coq/coq/pull/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.