Fix

LPCIC · Feb 20, 2024 · 9e045c7 · 9e045c7
1 parent 3f5e278
commit 9e045c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.