diff --git a/tests/errors/SplitSubtype.hs b/tests/errors/SplitSubtype.hs
index 4e6e20fe8e..8476d9fef0 100644
--- 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 @-}