--- a/src/Tools/Haskell/Haskell.thy Mon Jan 14 18:35:03 2019 +0000
+++ b/src/Tools/Haskell/Haskell.thy Tue Jan 15 20:03:53 2019 +0100
@@ -1924,6 +1924,6 @@
return ()
\<close>
-ML_command \<open>Generated_Files.export_files \<^theory>\<close>
+export_generated_files
end