src/Pure/System/isabelle_process.ML
changeset 71855 494704309099
parent 71853 ec14ef6dd09b
child 71859 60659474ed36
--- 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 *)