# HG changeset patch
# User haftmann
# Date 1191304794 -7200
# Node ID 862b71696efe6073507faebde6279e8ef447c1b6
# Parent  41a21f59f74d7ff38be4e47346b233b55ad021d2
ignore mutual recursive modules

diff -r 41a21f59f74d -r 862b71696efe src/HOL/ex/Codegenerator.thy
--- 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 {*