From: Nicolas Luck <nicolas@lucksus.eu>
Date: Wed, 2 Aug 2023 14:25:53 +0000 (+0200)
Subject: Deactivate some debugging outputs
X-Git-Tag: remove^2~45
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3ff02da3147a0e1dfd7c1a42fdb55d0a780d3ed9;p=scryer-prolog.git

Deactivate some debugging outputs
---

diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs
index bec03a76..831ca200 100644
--- a/src/machine/lib_machine.rs
+++ b/src/machine/lib_machine.rs
@@ -26,7 +26,7 @@ impl Machine {
 
     pub fn run_query(&mut self, query: String) -> QueryResult {
         let input = format!("{}", query);
-        println!("Running query: {}", input);
+        //println!("Running query: {}", input);
         self.set_user_input(input);
         self.run_top_level(atom!("$toplevel"), (atom!("run_input_once"), 0));
         self.parse_output()
@@ -34,7 +34,7 @@ impl Machine {
 
     pub fn parse_output(&self) -> QueryResult {
         let output = self.get_user_output().trim().to_string();
-        println!("Output: {}", output);
+        //println!("Output: {}", output);
         if output.starts_with("error(") {
             Err(output)
         } else {