src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs

--- a/src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs	Sat Feb 22 22:06:10 2014 +0100
+++ b/src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs	Sun Feb 23 10:33:43 2014 +0100
@@ -10,6 +10,7 @@
 import Data.Maybe
 import Data.List (partition, findIndex)
 import qualified Generated_Code
+import qualified Typerep
 
 type Pos = [Int]
 
@@ -156,8 +157,8 @@
 -- presentation of counterexample
 
 
-instance Show Generated_Code.Typerep where {
-  show (Generated_Code.Typerep c ts) = "Type (\"" ++ c ++ "\", " ++ show ts ++ ")";
+instance Show Typerep.Typerep where {
+  show (Typerep.Typerep c ts) = "Type (\"" ++ c ++ "\", " ++ show ts ++ ")";
 };
 
 instance Show Generated_Code.Term where {