From c09f61b04bf61a70513d097cec4eca30ac929fb3 Mon Sep 17 00:00:00 2001 From: Andrew Davison Date: Sun, 9 Jul 2023 17:04:51 +1000 Subject: [PATCH] Fix (sort of) resource error cannot be caught, re issue #246 --- src/query.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/query.c b/src/query.c index 7a89be3f7..746c1ffec 100644 --- a/src/query.c +++ b/src/query.c @@ -1663,7 +1663,7 @@ bool start(query *q) //if (!throw_error(q, q->st.curr_cell, q->st.curr_frame, "resource_error", "memory")) { // q->retry = QUERY_RETRY; // q->tot_backtracks++; - q->fail_on_retry = false; + // q->fail_on_retry = false; continue; //} }