diff --git a/tests/neg/RefinedProp.hs b/tests/neg/RefinedProp.hs
index 4c1d2d7ba..b15a7f6b5 100644
--- a/tests/neg/RefinedProp.hs
+++ b/tests/neg/RefinedProp.hs
@@ -1,7 +1,5 @@
 {-# Language GADTs #-}
 
-{-@ LIQUID "--expect-any-error" @-}
-
 module RefinedProp where
 
 import Language.Haskell.Liquid.ProofCombinators
@@ -12,5 +10,6 @@ data Id where
 data ID = Id Int
 
 -- Should error as False is supposed to not be satisfied
+{-@ fail bad @-}
 {-@ bad :: { v:Prop (Id 12) | False } @-}
 bad = MkId
\ No newline at end of file