src/Pure/Tools/build.scala
changeset 67380 8bef51521f21
parent 67297 86a099f896fc
child 67471 bddfa23a4ea9
     1.1 --- a/src/Pure/Tools/build.scala	Mon Jan 08 16:45:30 2018 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Mon Jan 08 22:36:02 2018 +0100
     1.3 @@ -265,7 +265,8 @@
     1.4            val eval =
     1.5              "Command_Line.tool0 (fn () => (" +
     1.6              "Build.build " + ML_Syntax.print_string_bytes(File.standard_path(args_file)) +
     1.7 -            (if (do_output) "; " + save_heap else "") + "));"
     1.8 +            (if (Sessions.is_pure(name)) "; Theory.install_pure (Thy_Info.get_theory Context.PureN)"
     1.9 +             else "") + (if (do_output) "; " + save_heap else "") + "));"
    1.10  
    1.11            val process =
    1.12              if (Sessions.is_pure(name)) {