# HG changeset patch
# User wenzelm
# Date 1373483612 -7200
# Node ID 59bf099448bfad906c0d5438871fabfa7ecde512
# Parent  bd94e26e43887629992a0fae73f4e04ab71070d7
make SML/NJ happy;

diff -r bd94e26e4388 -r 59bf099448bf src/Pure/PIDE/protocol.ML
--- a/src/Pure/PIDE/protocol.ML	Wed Jul 10 20:44:39 2013 +0200
+++ b/src/Pure/PIDE/protocol.ML	Wed Jul 10 21:13:32 2013 +0200
@@ -59,7 +59,7 @@
         val _ = List.app Future.cancel_group (Goal.reset_futures ());
         val _ = Isabelle_Process.reset_tracing ();
         val _ =
-          Event_Timer.request (Time.now () + seconds 0.02)
+          Event_Timer.request (Time.+ (Time.now (), seconds 0.02))
             (fn () => Document.start_execution state');
       in state' end));