src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Nov 29 06:09:41 2011 +0100
+++ b/src/Pure/ROOT.ML	Tue Nov 29 19:49:36 2011 +0100
@@ -30,8 +30,8 @@
 use "General/properties.ML";
 use "General/output.ML";
 use "General/timing.ML";
-use "General/markup.ML";
-use "General/isabelle_markup.ML";
+use "PIDE/markup.ML";
+use "PIDE/isabelle_markup.ML";
 fun legacy_feature s = warning (Markup.markup Isabelle_Markup.legacy ("Legacy feature! " ^ s));
 use "General/scan.ML";
 use "General/source.ML";