diff --git a/tests/basic/neg/T2349.hs b/tests/basic/neg/T2349.hs
index 1781158ef..7a5e7cd31 100644
--- 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.