Fix #13391 by checking for kind-GADTs
[ghc.git] / testsuite / tests / dependent / should_compile / Dep2.hs
index 34be3cf..df1cb51 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE PolyKinds, GADTs #-}
+{-# LANGUAGE TypeInType, GADTs #-}
 
 module Dep2 where