From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 3 Aug 2017 16:56:51 +0000 (-0600)
Subject: remove print_code calls
X-Git-Tag: v0.8.110~712
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=83899b7273b4c250c8cfd9728ec8de62c77cd6ee;p=scryer-prolog.git

remove print_code calls
---

diff --git a/src/prolog/io.rs b/src/prolog/io.rs
index ac1f720e..ef844cd7 100644
--- a/src/prolog/io.rs
+++ b/src/prolog/io.rs
@@ -301,7 +301,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)                
             } else {
                 let msg = r"Error: predicate is inconsistent.
@@ -320,14 +319,12 @@ 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)
         },
         &TopLevel::Query(ref query) => {
             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())
         }
     }