further allocation fixes.

diff --git a/src/prolog/debray_allocator.rs b/src/prolog/debray_allocator.rs
index 92b475a0190abeb084bcdcdb53aaa8c0c43537cc..05892d8ccc7d1d5a6a7cd368f3ec523062e93bdd 100644 (file)
--- a/src/prolog/debray_allocator.rs
+++ b/src/prolog/debray_allocator.rs
@@ -33,7 +33,7 @@ impl DebrayAllocator {
     }
 
     fn is_in_use(&self, r: usize) -> bool {
-        let in_use_range = r < self.arity && r > self.arg_c;
+        let in_use_range = r < self.arity && r >= self.arg_c;
         self.in_use.contains(&r) || in_use_range
     }
 

diff --git a/src/prolog/io.rs b/src/prolog/io.rs
index 4a6e2497861f2438dda66ad91c35720827a58ac7..70f7be5a70b22bf36df955574ee59a04f50038c8 100644 (file)
--- a/src/prolog/io.rs
+++ b/src/prolog/io.rs
@@ -601,7 +601,7 @@ pub fn compile_listing(wam: &mut Machine, src_str: &str) -> EvalSession
 
     let mut worker = TopLevelWorker::new(src_str.as_bytes(), wam.atom_tbl());
 
-
+    
     let tls = try_eval_session!(worker.parse_batch(&mut op_dir));
 
     for tl in tls {