# HG changeset patch
# User wenzelm
# Date 1551273720 -3600
# Node ID edda2d14c10808274130fbb76b5658d9d117ca17
# Parent  9a7f94ab4df9d2c76c4d26c14cd42e63cb25d513
tuned;

diff -r 9a7f94ab4df9 -r edda2d14c108 src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Mon Feb 25 11:38:35 2019 +0100
+++ b/src/Pure/PIDE/headless.scala	Wed Feb 27 14:22:00 2019 +0100
@@ -176,7 +176,7 @@
 
       val use_theories_state = Synchronized(Use_Theories_State())
 
-      def check_result(beyond_limit: Boolean = false)
+      def check_result_state(beyond_limit: Boolean = false)
       {
         val state = session.current_state()
         state.stable_tip_version match {
@@ -195,7 +195,7 @@
             if (progress.stopped) use_theories_state.value.cancel_result
             else {
               check_count += 1
-              check_result(check_limit > 0 && check_count > check_limit)
+              check_result_state(check_limit > 0 && check_count > check_limit)
             }
           }
       }
@@ -250,7 +250,7 @@
 
               theory_progress.foreach(progress.theory(_))
 
-              check_result()
+              check_result_state()
 
               if (commit.isDefined && commit_cleanup_delay > Time.zero) {
                 if (use_theories_state.value.finished_result)