
diff -r 365e37fe93f3 -r adc1143bc1a8 src/HOL/Codegenerator_Test/Generate.thy
--- a/src/HOL/Codegenerator_Test/Generate.thy	Wed Jul 14 15:49:29 2010 +0200
+++ b/src/HOL/Codegenerator_Test/Generate.thy	Wed Jul 14 16:02:50 2010 +0200
@@ -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




