src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs
changeset 55676 fb46f1c379b5
parent 49253 4b11240d80bf
     1.1 --- a/src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs	Sat Feb 22 22:06:10 2014 +0100
     1.2 +++ b/src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs	Sun Feb 23 10:33:43 2014 +0100
     1.3 @@ -10,6 +10,7 @@
     1.4  import Data.Maybe
     1.5  import Data.List (partition, findIndex)
     1.6  import qualified Generated_Code
     1.7 +import qualified Typerep
     1.8  
     1.9  type Pos = [Int]
    1.10  
    1.11 @@ -156,8 +157,8 @@
    1.12  -- presentation of counterexample
    1.13  
    1.14  
    1.15 -instance Show Generated_Code.Typerep where {
    1.16 -  show (Generated_Code.Typerep c ts) = "Type (\"" ++ c ++ "\", " ++ show ts ++ ")";
    1.17 +instance Show Typerep.Typerep where {
    1.18 +  show (Typerep.Typerep c ts) = "Type (\"" ++ c ++ "\", " ++ show ts ++ ")";
    1.19  };
    1.20  
    1.21  instance Show Generated_Code.Term where {