From: Nicolas Luck <nicolas@lucksus.eu>
Date: Mon, 18 Sep 2023 17:12:50 +0000 (+0200)
Subject: Remove some debug println!s
X-Git-Tag: remove^2~14
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5e556257333c29dc0b7be2801d094e77cd234168;p=scryer-prolog.git

Remove some debug println!s
---

diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs
index 6c4c262f..18d6c7e6 100644
--- a/src/machine/lib_machine.rs
+++ b/src/machine/lib_machine.rs
@@ -168,10 +168,7 @@ impl Machine {
             // choice point, so we should break.
             self.machine_st.backtrack();
 
-            if self.machine_st.b > stub_b {
-                println!("b: {}", self.machine_st.b);
-            } else {
-                println!("breaking");
+            if self.machine_st.b <= stub_b {
                 // NOTE: out of choicepoints to backtrack through, no
                 // more solutions to gather.
                 break;