re-enable test

LPCIC · Feb 7, 2025 · 65655e0 · 65655e0
1 parent 3ba44b4
commit 65655e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.