From 18a346a4b5a02b8c62e8eedb91b35c2d8e754b96 Mon Sep 17 00:00:00 2001
From: Sylvain Henry <sylvain@haskus.fr>
Date: Mon, 2 Mar 2020 11:43:03 +0100
Subject: Modules: Core (#13009)

Update submodule: haddock
---
 testsuite/tests/pmcheck/should_compile/T11195.hs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'testsuite/tests/pmcheck/should_compile/T11195.hs')

diff --git a/testsuite/tests/pmcheck/should_compile/T11195.hs b/testsuite/tests/pmcheck/should_compile/T11195.hs
index b5c5452361..3e45f24c23 100644
--- a/testsuite/tests/pmcheck/should_compile/T11195.hs
+++ b/testsuite/tests/pmcheck/should_compile/T11195.hs
@@ -2,15 +2,15 @@
 
 module T11195 where
 
-import TyCoRep
-import Coercion
-import Type hiding( substTyVarBndr, substTy, extendTCvSubst )
+import GHC.Core.TyCo.Rep
+import GHC.Core.Coercion
+import GHC.Core.Type hiding( substTyVarBndr, substTy, extendTCvSubst )
+import GHC.Core.InstEnv
+import GHC.Core.Coercion.Axiom
 import TcType       ( exactTyCoVarsOfType )
-import CoAxiom
 import VarSet
 import VarEnv
 import Pair
-import InstEnv
 
 type NormalCo    = Coercion
 type NormalNonIdCo = NormalCo  -- Extra invariant: not the identity
-- 
cgit v1.2.1