diff --git a/apps/cs/tests/test_cs.v b/apps/cs/tests/test_cs.v
index 9fa38da7b..754ae12a5 100644
--- a/apps/cs/tests/test_cs.v
+++ b/apps/cs/tests/test_cs.v
@@ -36,4 +36,3 @@ canonical-solution _ {{ sort lp:Sol }} {{ bool }} :-
 Elpi Typecheck canonical_solution.
 
 
-Check eq_refl _ : (sort _) = bool.