From f1f334f7f7473fd9f480ee3ce3119df8fe52c401 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 28 Jan 2025 11:03:24 +0100
Subject: [PATCH] Fix a typo

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

diff --git a/apps/derive/elpi/param2.elpi b/apps/derive/elpi/param2.elpi
index 3a1ae4221..22c28388a 100644
--- a/apps/derive/elpi/param2.elpi
+++ b/apps/derive/elpi/param2.elpi
@@ -174,7 +174,7 @@ dispatch (const GR as C) Suffix Clauses :- do! [
   C1 = (param Term Term (global (const TermR)) :- !),
   coq.elpi.accumulate _ "derive.param2.db" (clause _ (before "param:fail") C1),
   C2 = (paramR Term Term (global (const TermR)) :- !),
-  coq.elpi.accumulate _ "derive.param2.db" (clause _ (before "paramR:fail") C1),
+  coq.elpi.accumulate _ "derive.param2.db" (clause _ (before "paramR:fail") C2),
   coq.elpi.accumulate _ "derive.param2.db" (clause _ _ (param-done C)),
   Clauses = [param-done C, C1, C2]
 ].