--- a/src/HOL/ex/Codegenerator.thy Mon Oct 01 22:52:20 2007 +0200
+++ b/src/HOL/ex/Codegenerator.thy Tue Oct 02 07:59:54 2007 +0200
@@ -15,7 +15,7 @@
*}
export_code * in SML module_name CodegenTest
- in OCaml file -
+ in OCaml module_name CodegenTest file -
in Haskell file -
ML {*