diff --git a/src/plugins/value/gui_files/register_gui.ml b/src/plugins/value/gui_files/register_gui.ml
index e99b3d3ea0215e14bf2ba44fcb56f4d0d4f53c74..31d005daf3e195dac525dbafe363ac52e7ba978c 100644
--- a/src/plugins/value/gui_files/register_gui.ml
+++ b/src/plugins/value/gui_files/register_gui.ml
@@ -172,7 +172,7 @@ let active_highlighter buffer localizable ~start ~stop =
         | Some color_area ->
           apply_tag buffer color_area start stop
         | None ->
-          if Gui_eval.results_kf_computed kf then begin
+          if Analysis.status kf <> Analyzed NoResults then begin
             let csf = Gui_callstacks_filters.focused_callstacks () in
             if Gui_callstacks_filters.is_reachable_stmt csf stmt then begin
               if Gui_callstacks_filters.is_non_terminating_instr csf stmt then