From 9e045c745aa3485a67ace580d57b4b9aff61358f Mon Sep 17 00:00:00 2001
From: Rodolphe Lepigre <rodolphe@bedrocksystems.com>
Date: Tue, 20 Feb 2024 14:39:15 +0100
Subject: [PATCH] Fix

---
 apps/derive/elpi/derive.elpi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/derive/elpi/derive.elpi b/apps/derive/elpi/derive.elpi
index 15534dea1..04736a613 100644
--- a/apps/derive/elpi/derive.elpi
+++ b/apps/derive/elpi/derive.elpi
@@ -116,7 +116,7 @@ main.aux InModule [GR|GRS] Acc CL :-
   main.aux InModule GRS {std.append CL1 Acc} CL.
 
 pred validate-recursive i:prop, o:derive.
-validate-recursive (derivation _ _ tt R) _ :- get-option "recursive" tt,
+validate-recursive (derivation _ _ tt _) _ :- get-option "recursive" tt,
   coq.error "Synterp actions not supported in recursive derive.".
 validate-recursive (derivation _ _ _ R) R.
 pred main1 i:gref, i:bool, o:list prop.