1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T12133.hs b/testsuite/tests/typecheck/should_compile/T12133.hs
index f2502a786a..f35c51000d 100644
--- a/testsuite/tests/typecheck/should_compile/T12133.hs
+++ b/testsuite/tests/typecheck/should_compile/T12133.hs
@@ -11,10 +11,10 @@
 module T12133 where
 
 import           GHC.Classes (IP(..))
-import           GHC.Exts (Constraint)
+import           Data.Kind (Constraint, Type)
 
 -- | From "Data.Constraint":
-data Dict :: Constraint -> * where Dict :: a => Dict a
+data Dict :: Constraint -> Type where Dict :: a => Dict a
 
 newtype a :- b = Sub (a => Dict b)
 
@@ -65,4 +65,4 @@ t.hs:44:13: error:
         foo :: (c1, c2) :- c3 -> (c1, (IP sym ty, c2)) :- (IP sym ty, c3)
           (bound at t.hs:40:1)
 Failed, modules loaded: none.
--}
-\ No newline at end of file
+-}