src/Pure/ROOT.ML
changeset 50217 ce1f0602f48e
parent 50201 c26369c9eda6
child 50255 d0ec1f0d1d7d
     1.1 --- a/src/Pure/ROOT.ML	Mon Nov 26 16:22:29 2012 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Mon Nov 26 16:28:22 2012 +0100
     1.3 @@ -283,7 +283,7 @@
     1.4  
     1.5  use "Tools/named_thms.ML";
     1.6  
     1.7 -use "Tools/xml_syntax.ML";
     1.8 +use "Tools/legacy_xml_syntax.ML";
     1.9  
    1.10  
    1.11  (* configuration for Proof General *)