src/Pure/Tools/ml_process.scala
changeset 62712 22a17cec2efe
parent 62711 09df6a51ad3c
child 62835 1a9ce1b13b20
     1.1 --- a/src/Pure/Tools/ml_process.scala	Sat Mar 26 12:22:15 2016 +0100
     1.2 +++ b/src/Pure/Tools/ml_process.scala	Sat Mar 26 12:35:11 2016 +0100
     1.3 @@ -66,17 +66,15 @@
     1.4      val env_options = Map("ISABELLE_PROCESS_OPTIONS" -> File.standard_path(isabelle_process_options))
     1.5      val eval_options = if (heaps.isEmpty) Nil else List("Options.load_default ()")
     1.6  
     1.7 -    val print_depth = ML_Syntax.print_int(options.int("ML_print_depth"))
     1.8      val eval_process =
     1.9        if (heaps.isEmpty)
    1.10 -        List("PolyML.print_depth " + print_depth)
    1.11 +        List("PolyML.print_depth " + ML_Syntax.print_int(options.int("ML_print_depth")))
    1.12        else
    1.13          channel match {
    1.14            case None =>
    1.15 -            List("(ML_Pretty.print_depth " + print_depth + "; Isabelle_Process.init_options ())")
    1.16 +            List("Isabelle_Process.init_options ()")
    1.17            case Some(ch) =>
    1.18 -            List("(ML_Pretty.print_depth " + print_depth + "; Isabelle_Process.init_protocol " +
    1.19 -              ML_Syntax.print_string0(ch.server_name) + ")")
    1.20 +            List("Isabelle_Process.init_protocol " + ML_Syntax.print_string0(ch.server_name))
    1.21          }
    1.22  
    1.23      // ISABELLE_TMP