Skip to content

Commit

Permalink
fix test
Browse files Browse the repository at this point in the history
  • Loading branch information
Tragicus committed Jan 24, 2024
1 parent 6c799e5 commit f8e854f
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion apps/cs/tests/test_cs.v
Original file line number Diff line number Diff line change
Expand Up @@ -36,4 +36,3 @@ canonical-solution _ {{ sort lp:Sol }} {{ bool }} :-
Elpi Typecheck canonical_solution.


Check eq_refl _ : (sort _) = bool.

0 comments on commit f8e854f

Please sign in to comment.