wip

LPCIC · Nov 14, 2024 · 1cd391b · 1cd391b
1 parent 36ab8f5
commit 1cd391b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/apps/derive/elpi/eqb.elpi b/apps/derive/elpi/eqb.elpi
@@ -28,7 +28,6 @@ derive.eqb.main (indt I) Prefix CL :- std.do! [
   % populate dbs
   derive.eqb.eqbf.do-clause FI FI [] [] EQBF [] CL1,
   derive.eqb.eqb.do-clause FI FI [] [] EQB [] CL2,
-  coq.say "+++++++++++++++++++>" CL1,
   CL = [CL1,CL2,eqb-done (indt I)],
   std.forall CL (x\ coq.elpi.accumulate _ "derive.eqb.db" (clause _ _ x)),
 ].