--- a/src/HOL/Codegenerator_Test/Generate.thy Mon Jul 03 14:25:07 2017 +0200 +++ b/src/HOL/Codegenerator_Test/Generate.thy Sun Jul 02 20:13:38 2017 +0200 @@ -18,4 +18,3 @@ export_code _ checking SML OCaml? Haskell? Scala end -