Fix expected error test

ucsd-progsys · Nov 19, 2023 · 50ec041 · 50ec041
1 parent 3abd7d4
commit 50ec041
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/errors/SplitSubtype.hs b/tests/errors/SplitSubtype.hs
@@ -1,4 +1,4 @@
-{-@ LIQUID "--expect-error-containing=| VV > 5}" @-}
+{-@ LIQUID "--expect-error-containing=> 5}" @-}
 module SplitSubtype where
 
 {-@ foo :: {v:Int | v > 0 && v > 5 && v < 10 } -> Int @-}