1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/tests/tcplugins/TcPlugin_Rewrite.hs b/testsuite/tests/tcplugins/TcPlugin_Rewrite.hs
index 6df19b7b62..5cacd28618 100644
--- a/testsuite/tests/tcplugins/TcPlugin_Rewrite.hs
+++ b/testsuite/tests/tcplugins/TcPlugin_Rewrite.hs
@@ -2,13 +2,16 @@
 {-# OPTIONS_GHC -fplugin RewritePlugin #-}
 
 {-# LANGUAGE Haskell2010 #-}
-{-# LANGUAGE DataKinds, ScopedTypeVariables, TypeFamilies #-}
+{-# LANGUAGE DataKinds, ScopedTypeVariables, TypeFamilies, TypeOperators #-}
 
 module TcPlugin_Rewrite where
 
 import Data.Kind
   ( Type )
 
+import Data.Type.Equality
+  ( type (~) )
+
 import Definitions
   ( Add, Nat(..) )