--- a/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs Tue Sep 06 14:25:16 2011 +0200
+++ b/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs Tue Sep 06 16:40:22 2011 +0200
@@ -4,7 +4,7 @@
import Control.Exception;
import System.IO;
import System.Exit;
-import Code;
+import Generated_Code;
type Pos = [Int];