--- a/src/Pure/ROOT.ML Tue Mar 18 17:53:40 2014 +0100
+++ b/src/Pure/ROOT.ML Tue Mar 18 18:09:31 2014 +0100
@@ -294,7 +294,7 @@
(* Isabelle/Isar system *)
-use "System/session.ML";
+use "PIDE/session.ML";
use "System/command_line.ML";
use "System/system_channel.ML";
use "System/message_channel.ML";