From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 25 May 2017 01:12:39 +0000 (-0600)
Subject: remove diagnostic calls
X-Git-Tag: v0.8.110~724
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=13c902918b9ff83f0cbfd13260e1a652200ccacf;p=scryer-prolog.git

remove diagnostic calls
---

diff --git a/src/prolog/io.rs b/src/prolog/io.rs
index 5f2ff044..f814dc75 100644
--- a/src/prolog/io.rs
+++ b/src/prolog/io.rs
@@ -269,7 +269,6 @@ pub fn eval<'a, 'b: 'a>(wam: &'a mut Machine, tl: &'b TopLevel) -> EvalSession<'
 
             if is_consistent(clauses) {
                 let compiled_pred = cg.compile_predicate(clauses);
-                print_code(&compiled_pred);
                 wam.add_predicate(clauses, compiled_pred);
 
                 EvalSession::EntrySuccess
@@ -285,7 +284,6 @@ Each predicate must have the same name and arity.";
             let mut cg = CodeGenerator::<DebrayAllocator>::new();
 
             let compiled_fact = cg.compile_fact(fact);
-            print_code(&compiled_fact);
             wam.add_fact(fact, compiled_fact);
 
             EvalSession::EntrySuccess
@@ -294,7 +292,6 @@ Each predicate must have the same name and arity.";
             let mut cg = CodeGenerator::<DebrayAllocator>::new();
 
             let compiled_rule = cg.compile_rule(rule);
-            print_code(&compiled_rule);
             wam.add_rule(rule, compiled_rule);
 
             EvalSession::EntrySuccess
@@ -303,7 +300,6 @@ Each predicate must have the same name and arity.";
             let mut cg = CodeGenerator::<DebrayAllocator>::new();
 
             let compiled_query = cg.compile_query(query);
-            print_code(&compiled_query);
             wam.submit_query(compiled_query, cg.take_vars())            
         }
     }