src/Pure/General/ROOT.ML

--- a/src/Pure/General/ROOT.ML	Tue Feb 19 20:34:28 2008 +0100
+++ b/src/Pure/General/ROOT.ML	Tue Feb 19 20:34:29 2008 +0100
@@ -32,5 +32,4 @@
 use "buffer.ML";
 use "history.ML";
 use "xml.ML";
-use "system_process.ML";