From 68fbce4925fda5a963f21ac6f5ec4cf4bcc6f195 Mon Sep 17 00:00:00 2001
From: Dmitry Vasilev <dmitry.vasil@gmail.com>
Date: Thu, 26 Oct 2023 13:15:53 +0800
Subject: [PATCH] fix

---
 src/calltree.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/calltree.js b/src/calltree.js
index 387a73a..2b19a93 100644
--- a/src/calltree.js
+++ b/src/calltree.js
@@ -842,16 +842,16 @@ const select_error = state => {
     state.active_calltree_node,
     root_calltree_node(state),
     // TODO deferred calls???
-  ].find(n => n != null && !n.ok)
+  ].find(n => has_error(n))
   
   if(node == null) {
     return {state, effects: [{type: 'set_status', args: ['no error found']}]}
   }
 
   const error_origin = find_node(node, n =>
-    !n.ok 
+    has_error(n)
     && (
-      n.children == null || n.children.every(c => c.ok)
+      n.children == null || n.children.every(c => !has_error(c))
     )
   )