stripped pointless head

--- a/src/HOL/ex/Codegenerator.thy	Tue Oct 10 13:59:13 2006 +0200
+++ b/src/HOL/ex/Codegenerator.thy	Tue Oct 10 13:59:16 2006 +0200
@@ -5,7 +5,7 @@
 header {* Test and Examples for code generator *}
 
 theory Codegenerator
-imports (*"~~/src/codegen/CodegenSetup"*) Main Records
+imports Main Records
 begin
 
 subsection {* booleans *}