src/HOL/Tools/Quickcheck/Narrowing_Engine.hs

 
 import Monad;
 import Control.Exception;
 import System.IO;
 import System.Exit;
-import Code;
+import Generated_Code;
 
 type Pos = [Int];
 
 -- Term refinement