# HG changeset patch
# User wenzelm
# Date 1585738579 -7200
# Node ID 494704309099df1f425e3694fe6cbbe1276a26b1
# Parent  ec84f542e4119fcbcd08d3ef3349c2d331d23f93
proper context for loading Pure;

diff -r ec84f542e411 -r 494704309099 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Tue Mar 31 22:27:02 2020 +0200
+++ b/src/Pure/System/isabelle_process.ML	Wed Apr 01 12:56:19 2020 +0200
@@ -117,8 +117,6 @@
 
     val _ = Output.physical_stderr Symbol.STX;
 
-    val _ = Context.put_generic_context NONE;
-
 
     (* streams *)