src/Pure/Tools/build.ML

--- a/src/Pure/Tools/build.ML	Sat Mar 28 19:33:14 2020 +0100
+++ b/src/Pure/Tools/build.ML	Sat Mar 28 19:53:01 2020 +0100
@@ -215,6 +215,8 @@
 
     val _ = Resources.finish_session_base ();
     val _ = Par_Exn.release_all [res1, res2];
+    val _ =
+      if name = Context.PureN then Theory.install_pure (Thy_Info.get_theory Context.PureN) else ();
   in () end;
 
 (*command-line tool*)