fix test

Tragicus · Tragicus · commit ffad6fc1a67d · 2024-01-26T16:55:51.000+01:00
diff --git 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.

Original file line number	Diff line number	Diff line change
`@@ -36,4 +36,3 @@ canonical-solution _ {{ sort lp:Sol }} {{ bool }} :-`
`36`	`36`	`Elpi Typecheck canonical_solution.`
`37`	`37`
`38`	`38`
`39`		`-Check eq_refl _ : (sort _) = bool.`