src/Pure/ROOT.ML
changeset 50201 c26369c9eda6
parent 50163 c62ce309dc26
child 50217 ce1f0602f48e
     1.1 --- a/src/Pure/ROOT.ML	Sun Nov 25 18:50:13 2012 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sun Nov 25 19:49:24 2012 +0100
     1.3 @@ -30,8 +30,7 @@
     1.4  use "General/output.ML";
     1.5  use "General/timing.ML";
     1.6  use "PIDE/markup.ML";
     1.7 -use "PIDE/isabelle_markup.ML";
     1.8 -fun legacy_feature s = warning (Markup.markup Isabelle_Markup.legacy ("Legacy feature! " ^ s));
     1.9 +fun legacy_feature s = warning (Markup.markup Markup.legacy ("Legacy feature! " ^ s));
    1.10  use "General/scan.ML";
    1.11  use "General/source.ML";
    1.12  use "General/symbol.ML";