From 6db3ffc8757b489dc21d6636e9c98d86444db1af Mon Sep 17 00:00:00 2001
From: Alessio <35380179+AlecsFerra@users.noreply.github.com>
Date: Mon, 11 Nov 2024 16:59:32 +0100
Subject: [PATCH] Use fail directive in test
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Facundo Domínguez <facundominguez@gmail.com>
---
 tests/neg/RefinedProp.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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