Remove some debug println!s

2023-09-18 19:12:50 +02:00
parent 65f64e428e
commit 5e55625733
1 changed files with 1 additions and 4 deletions
--- 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;