src/Pure/PIDE/session.scala

 
   @tailrec final def await_stable_snapshot(): Document.Snapshot =
   {
     val snapshot = this.snapshot()
     if (snapshot.is_outdated) {
-      output_delay.sleep
+      output_delay.sleep()
       await_stable_snapshot()
     }
     else snapshot
   }