diff -r b12ab081e5d1 -r ab01b72715ef src/Tools/Code_Generator.thy
--- a/src/Tools/Code_Generator.thy	Wed Oct 28 11:55:48 2009 +0100
+++ b/src/Tools/Code_Generator.thy	Wed Oct 28 17:43:43 2009 +0100
@@ -5,7 +5,7 @@
 header {* Loading the code generator modules *}
 
 theory Code_Generator
-imports Pure
+imports Auto_Counterexample
 uses
   "~~/src/Tools/value.ML"
   "~~/src/Tools/quickcheck.ML"
@@ -25,4 +25,4 @@
   #> Nbe.setup
 *}
 
-end
\ No newline at end of file
+end