--- a/src/HOL/Codegenerator_Test/Generate.thy Sun May 21 23:47:55 2017 +0200 +++ b/src/HOL/Codegenerator_Test/Generate.thy Mon May 22 00:23:25 2017 +0200 @@ -18,4 +18,3 @@ export_code _ checking SML OCaml? Haskell? Scala end -