Update test

ucsd-progsys · Nov 29, 2024 · 42ca04d · 42ca04d
1 parent 2881989
commit 42ca04d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/basic/neg/T2349.hs b/tests/basic/neg/T2349.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE GADTs #-}
 {-@ LIQUID "--expect-error-containing=is not a subtype of the required type
-      VV : {VV##1461 : [GHC.Types.Int] | len VV##1461 == ?b + 1}" @-}
+      VV : {VV##1456 : [GHC.Types.Int] | len VV##1456 == ?b + 1}" @-}
 {-@ LIQUID "--reflection" @-}
 -- | Test that the refinement types produced for GADTs are
 -- compatible with the Haskell types.