--- a/src/Pure/Tools/ml_process.scala Sat Mar 26 12:22:15 2016 +0100
+++ b/src/Pure/Tools/ml_process.scala Sat Mar 26 12:35:11 2016 +0100
@@ -66,17 +66,15 @@
val env_options = Map("ISABELLE_PROCESS_OPTIONS" -> File.standard_path(isabelle_process_options))
val eval_options = if (heaps.isEmpty) Nil else List("Options.load_default ()")
- val print_depth = ML_Syntax.print_int(options.int("ML_print_depth"))
val eval_process =
if (heaps.isEmpty)
- List("PolyML.print_depth " + print_depth)
+ List("PolyML.print_depth " + ML_Syntax.print_int(options.int("ML_print_depth")))
else
channel match {
case None =>
- List("(ML_Pretty.print_depth " + print_depth + "; Isabelle_Process.init_options ())")
+ List("Isabelle_Process.init_options ()")
case Some(ch) =>
- List("(ML_Pretty.print_depth " + print_depth + "; Isabelle_Process.init_protocol " +
- ML_Syntax.print_string0(ch.server_name) + ")")
+ List("Isabelle_Process.init_protocol " + ML_Syntax.print_string0(ch.server_name))
}
// ISABELLE_TMP