src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Dec 10 10:41:29 2012 +0100
+++ b/src/Pure/ROOT.ML	Mon Dec 10 13:52:33 2012 +0100
@@ -63,7 +63,7 @@
 
 use "PIDE/xml.ML";
 use "PIDE/yxml.ML";
-use "PIDE/sendback.ML";
+use "PIDE/active.ML";
 
 use "General/graph.ML";