--- a/src/Pure/General/ROOT.ML Fri Nov 03 14:22:42 2006 +0100
+++ b/src/Pure/General/ROOT.ML Fri Nov 03 14:22:43 2006 +0100
@@ -16,7 +16,6 @@
use "source.ML";
use "symbol.ML";
use "name_space.ML";
-use "name_mangler.ML";
use "seq.ML";
use "susp.ML";
use "rat.ML";