properly report deterministically successful queries

2019-02-22 19:38:49 -07:00
parent 6ba47b6b08
commit 0f01d37618
1 changed files with 5 additions and 2 deletions
--- a/src/prolog/write.rs
+++ b/src/prolog/write.rs
@@ -365,9 +365,12 @@ fn next_step(mut stdout: RawTerminal<std::io::Stdout>) -> ContinueResult
 pub fn print(wam: &mut Machine, result: EvalSession) {
    match result {
        EvalSession::InitialQuerySuccess(alloc_locs, mut heap_locs) => {
-            if wam.or_stack_is_empty() && heap_locs.is_empty() {
+            if wam.or_stack_is_empty() {
                println!("true.");
-                return;
+
+                if heap_locs.is_empty() {
+                    return;
+                }
            }

            if !wam.or_stack_is_empty() {