src/HOL/Tools/Quickcheck/PNF_Narrowing_Engine.hs

 import Monad
 import Control.Exception
 import System.Exit
 import Maybe
 import List (partition, findIndex)
-import Code
+import Generated_Code
 
 
 type Pos = [Int]
 
 -- Term refinement