src/Doc/Classes/Setup.thy

--- a/src/Doc/Classes/Setup.thy	Sun Jan 06 13:44:33 2019 +0100
+++ b/src/Doc/Classes/Setup.thy	Sun Jan 06 15:04:34 2019 +0100
@@ -2,8 +2,8 @@
 imports Main
 begin
 
-ML_file "../antiquote_setup.ML"
-ML_file "../more_antiquote.ML"
+ML_file \<open>../antiquote_setup.ML\<close>
+ML_file \<open>../more_antiquote.ML\<close>
 
 declare [[default_code_width = 74]]