From 7de693eb2343e517537431acd2690b1270e14857 Mon Sep 17 00:00:00 2001 From: Mark Date: Mon, 29 Jan 2024 15:06:56 -0700 Subject: [PATCH] check for True or False Query Resolution unconditionally --- src/machine/lib_machine.rs | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs index 2279d667..5f34f127 100644 --- a/src/machine/lib_machine.rs +++ b/src/machine/lib_machine.rs @@ -156,17 +156,17 @@ impl Machine { }; */ - if term_write_result.var_dict.is_empty() { - if self.machine_st.p == LIB_QUERY_SUCCESS { + if self.machine_st.p == LIB_QUERY_SUCCESS { + if term_write_result.var_dict.is_empty() { matches.push(QueryResolutionLine::True); break; - } else if self.machine_st.p == BREAK_FROM_DISPATCH_LOOP_LOC { - // NOTE: only print results on success - // self.machine_st.fail = false; - // println!("b == stub_b"); - matches.push(QueryResolutionLine::False); - break; } + } else if self.machine_st.p == BREAK_FROM_DISPATCH_LOOP_LOC { + // NOTE: only print results on success + // self.machine_st.fail = false; + // println!("b == stub_b"); + matches.push(QueryResolutionLine::False); + break; } let mut bindings: BTreeMap = BTreeMap::new(); -- 2.54.0