From 015fa1b162c085c34b710de76260660f7e1746ba Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 9 Sep 2025 14:08:30 +0200
Subject: [PATCH] Adapt to https://github.com/rocq-prover/stdlib/pull/207

---
 template-rocq/_PluginProject.in                       | 4 ++++
 template-rocq/gen-src/metarocq_template_plugin.mlpack | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/template-rocq/_PluginProject.in b/template-rocq/_PluginProject.in
index 70dc3bb7c..7d91adfb5 100644
--- a/template-rocq/_PluginProject.in
+++ b/template-rocq/_PluginProject.in
@@ -116,6 +116,8 @@ gen-src/list0.ml
 gen-src/list0.mli
 gen-src/listDef.ml
 gen-src/listDef.mli
+gen-src/listDef0.ml
+gen-src/listDef0.mli
 gen-src/logic0.ml
 gen-src/logic0.mli
 gen-src/logic1.ml
@@ -186,6 +188,8 @@ gen-src/plugin_core.ml
 gen-src/plugin_core.mli
 gen-src/posDef.ml
 gen-src/posDef.mli
+gen-src/posDef0.ml
+gen-src/posDef0.mli
 gen-src/pretty.ml
 gen-src/pretty.mli
 gen-src/primFloat.ml
diff --git a/template-rocq/gen-src/metarocq_template_plugin.mlpack b/template-rocq/gen-src/metarocq_template_plugin.mlpack
index 4c32d6eab..013e4676c 100644
--- a/template-rocq/gen-src/metarocq_template_plugin.mlpack
+++ b/template-rocq/gen-src/metarocq_template_plugin.mlpack
@@ -8,6 +8,7 @@ Numeral0
 Nat0
 Caml_nat
 ListDef
+ListDef0
 List0
 PeanoNat
 Specif
@@ -16,6 +17,7 @@ BinPosDef
 BinNums
 BinPos
 PosDef
+PosDef0
 BinNat
 NatDef
 BinInt