diff -r ccbf1722ae32 -r fb46f1c379b5 src/HOL/Tools/Quickcheck/Narrowing_Engine.hs
--- a/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Sat Feb 22 22:06:10 2014 +0100
+++ b/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Sun Feb 23 10:33:43 2014 +0100
@@ -4,6 +4,7 @@
 import Control.Exception;
 import System.IO;
 import System.Exit;
+import qualified Typerep;
 import qualified Generated_Code;
 
 type Pos = [Int];
@@ -67,8 +68,8 @@
 
 -- Testable
 
-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 {