src/Pure/PIDE/command.ML
changeset 56292 1a91a0da65ab
parent 56291 e79f76a48449
child 56303 4cc3f4db3447
     1.1 --- a/src/Pure/PIDE/command.ML	Wed Mar 26 12:15:42 2014 +0100
     1.2 +++ b/src/Pure/PIDE/command.ML	Wed Mar 26 12:32:51 2014 +0100
     1.3 @@ -359,7 +359,7 @@
     1.4      (fn {args, exec_id, ...} =>
     1.5        if null args then
     1.6          SOME {delay = NONE, pri = 1, persistent = false, strict = true,
     1.7 -          print_fn = fn _ => fn _ => Execution.apply_prints exec_id}
     1.8 +          print_fn = fn _ => fn _ => Execution.fork_prints exec_id}
     1.9        else NONE);
    1.10  
    1.11  val _ =