changeset 50629 | 264ece81df93 |
parent 40711 | 81bc73585eec |
child 51161 | 6ed12ae3b3e1 |
--- 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