
diff -r c9e7c6e73de3 -r 757ace95c4a0 src/HOL/ex/Codegenerator.thy
--- a/src/HOL/ex/Codegenerator.thy	Sat Feb 10 09:26:15 2007 +0100
+++ b/src/HOL/ex/Codegenerator.thy	Sat Feb 10 09:26:16 2007 +0100
@@ -8,6 +8,7 @@
 imports ExecutableContent
 begin
 
-code_gen "*" (SML #) (Haskell -) (OCaml -)
+code_gen "*" (SML) (Haskell) (OCaml)
+code_gen (SML #) (Haskell -) (OCaml -)
 
 end
\ No newline at end of file




