changeset 40711 | 81bc73585eec |
parent 37825 | adc1143bc1a8 |
child 50629 | 264ece81df93 |
--- a/src/HOL/Codegenerator_Test/Generate.thy Fri Nov 26 12:03:17 2010 +0100 +++ b/src/HOL/Codegenerator_Test/Generate.thy Fri Nov 26 12:03:18 2010 +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