From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 9 Dec 2017 04:38:52 +0000 (-0700)
Subject: don't truly truncate the heap.
X-Git-Tag: v0.8.110~655
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e44ad111c5c6fb04fe101195d4bf1c5531c75bdc;p=scryer-prolog.git

don't truly truncate the heap.
---

diff --git a/src/prolog/io.rs b/src/prolog/io.rs
index c3043fb6..298ecb35 100644
--- a/src/prolog/io.rs
+++ b/src/prolog/io.rs
@@ -368,14 +368,12 @@ pub fn eval<'a, 'b: 'a>(wam: &'a mut Machine, tl: &'b TopLevel) -> EvalSession<'
                 Err(e)   => return EvalSession::ParserError(e)
             };
 
-            print_code(&compiled_pred);
             wam.add_predicate(clauses, compiled_pred)
         },
         &TopLevel::Fact(ref fact) => {
             let mut cg = CodeGenerator::<DebrayAllocator>::new();
 
             let compiled_fact = cg.compile_fact(fact);
-            print_code(&compiled_fact);
             wam.add_fact(fact, compiled_fact)
         },
         &TopLevel::Rule(ref rule) => {
@@ -386,7 +384,6 @@ pub fn eval<'a, 'b: 'a>(wam: &'a mut Machine, tl: &'b TopLevel) -> EvalSession<'
                 Err(e) => return EvalSession::ParserError(e)                
             };
 
-            print_code(&compiled_rule);
             wam.add_rule(rule, compiled_rule)
         },
         &TopLevel::Query(ref query) => {
@@ -397,7 +394,6 @@ pub fn eval<'a, 'b: 'a>(wam: &'a mut Machine, tl: &'b TopLevel) -> EvalSession<'
                 Err(e) => return EvalSession::ParserError(e)
             };
 
-            print_code(&compiled_query);
             wam.submit_query(compiled_query, cg.take_vars())
         }
     }