src/Pure/ROOT

--- a/src/Pure/ROOT	Wed Aug 01 22:59:42 2018 +0100
+++ b/src/Pure/ROOT	Thu Aug 02 14:21:48 2018 +0200
@@ -4,7 +4,7 @@
   description {*
     The Pure logical framework
   *}
-  options [threads = 1]
+  options [threads = 1, export_theory]
   theories
     Pure (global)
     ML_Bootstrap (global)