1.1 --- a/src/Pure/ROOT.ML	Thu Dec 10 14:38:32 2020 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Fri Dec 11 18:34:10 2020 +0100
     1.3 @@ -102,7 +102,9 @@
     1.4  ML_file "name.ML";
     1.5  ML_file "term.ML";
     1.6  ML_file "context.ML";
     1.7 +(*ML \<open>@{print} {a = "..does NOT work up to here------------------------------------------//"}\<close>*)
     1.8  ML_file "context_position.ML";
     1.9 +ML \<open>@{print} {a = "..works from here-----------------------------------------------------\\"}\<close>
    1.10  ML_file "System/options.ML";
    1.11  ML_file "config.ML";
    1.12  ML_file "soft_type_system.ML";