src/Pure/PIDE/command.ML
changeset 62826 eb94e570c1a4
parent 62505 9e2a65912111
child 62895 54c2abe7e9a4
     1.1 --- a/src/Pure/PIDE/command.ML	Sat Apr 02 23:14:08 2016 +0200
     1.2 +++ b/src/Pure/PIDE/command.ML	Sat Apr 02 23:29:05 2016 +0200
     1.3 @@ -417,7 +417,7 @@
     1.4      in
     1.5        (case delay of
     1.6          NONE => fork ()
     1.7 -      | SOME d => ignore (Event_Timer.request (Time.+ (Time.now (), d)) fork))
     1.8 +      | SOME d => ignore (Event_Timer.request (Time.now () + d) fork))
     1.9      end
    1.10    else run_process execution_id exec_id print_process;
    1.11