--- a/src/HOL/ex/Codegenerator.thy Mon Aug 13 21:22:36 2007 +0200
+++ b/src/HOL/ex/Codegenerator.thy Mon Aug 13 21:22:37 2007 +0200
@@ -8,7 +8,7 @@
imports ExecutableContent
begin
-code_gen "*" in SML to CodegenTest
+code_gen "*" in SML module_name CodegenTest
in OCaml file -
in Haskell file -