
diff -r 1087c7f1d906 -r 264ece81df93 src/HOL/Codegenerator_Test/Generate.thy
--- a/src/HOL/Codegenerator_Test/Generate.thy	Fri Dec 28 09:37:27 2012 +0100
+++ b/src/HOL/Codegenerator_Test/Generate.thy	Fri Dec 28 10:15:39 2012 +0100
@@ -14,6 +14,6 @@
   by a corresponding @{text export_code} command.
 *}
 
-export_code _ checking SML OCaml? Haskell? Scala?
+export_code _ checking SML OCaml? Haskell? Scala
 
 end




