diff --git a/apps/derive/elpi/eqb.elpi b/apps/derive/elpi/eqb.elpi
index 16ff17f7a..f3bc7feea 100644
--- 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)),
 ].