fix neg tests

nikivazou · nikivazou · commit f98359a01f12 · 2025-10-27T13:38:57.000+01:00
diff --git a/tests/neg/Card.hs b/tests/neg/Card.hs
@@ -1,3 +1,4 @@
+{-@ LIQUID "--expect-any-error" @-}
 {-@ LIQUID "--smtsolver=CVC5" @-}
 module Card where
 
diff --git a/tests/neg/Card1.hs b/tests/neg/Card1.hs
@@ -1,3 +1,4 @@
+{-@ LIQUID "--expect-any-error" @-}
 {- LIQUID "--smtsolver=CVC5" @-}
 -- Z3 does not support cardinality of sets
 module Card1 where

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+{-@ LIQUID "--expect-any-error" @-}`
`1`	`2`	`{- LIQUID "--smtsolver=CVC5" @-}`
`2`	`3`	`-- Z3 does not support cardinality of sets`
`3`	`4`	`module Card1 where`