diff --git a/apps/derive/tests/test_eqbOK.v b/apps/derive/tests/test_eqbOK.v
index 5b9b9c151..1db6f062b 100644
--- a/apps/derive/tests/test_eqbOK.v
+++ b/apps/derive/tests/test_eqbOK.v
@@ -30,7 +30,7 @@ Fail Elpi derive.eqbOK iota.
 (*
 Elpi derive.eqbOK large.
 *)
-(* Elpi derive.eqbOK prim_int. *)
+Elpi derive.eqbOK prim_int.
 Fail Elpi derive.eqbOK prim_float.
 Elpi derive.eqbOK fo_record.
 Elpi derive.eqbOK pa_record.