--- a/src/Doc/Datatypes/Setup.thy Sun Jan 06 13:44:33 2019 +0100 +++ b/src/Doc/Datatypes/Setup.thy Sun Jan 06 15:04:34 2019 +0100 @@ -2,6 +2,6 @@ imports Main begin -ML_file "../antiquote_setup.ML" +ML_file \<open>../antiquote_setup.ML\<close> end