src/Pure/ROOT

--- a/src/Pure/ROOT	Wed Apr 12 22:47:21 2017 +0200
+++ b/src/Pure/ROOT	Wed Apr 12 23:08:24 2017 +0200
@@ -7,4 +7,4 @@
   options [threads = 1]
   theories
     Pure (global)
-    ML_Bootstrap
+    ML_Bootstrap (global)