--- 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";