diff -r 4764473c9b8d -r 76e7d9169b54 src/Pure/ROOT
--- a/src/Pure/ROOT	Tue Apr 05 21:23:32 2016 +0200
+++ b/src/Pure/ROOT	Tue Apr 05 21:51:14 2016 +0200
@@ -4,6 +4,6 @@
   global_theories
     Pure
   theories
-    "ML/ML_Root"
+    ML_Root
   files
     "ROOT.ML"