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::::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::::new(); let compiled_query = cg.compile_query(query); - print_code(&compiled_query); wam.submit_query(compiled_query, cg.take_vars()) } }