src/Pure/PIDE/batch_session.scala
changeset 62545 8ebffdaf2ce2
parent 62475 43e64c770f28
child 62556 c115e69f457f
     1.1 --- a/src/Pure/PIDE/batch_session.scala	Mon Mar 07 15:21:50 2016 +0100
     1.2 +++ b/src/Pure/PIDE/batch_session.scala	Mon Mar 07 18:20:22 2016 +0100
     1.3 @@ -58,7 +58,7 @@
     1.4          case _ =>
     1.5        }
     1.6  
     1.7 -    prover_session.start("Isabelle", "-q " + quote(parent_session))
     1.8 +    prover_session.start("Isabelle", List("-q", parent_session))
     1.9  
    1.10      batch_session
    1.11    }