further debray fix.

diff --git a/src/prolog/debray_allocator.rs b/src/prolog/debray_allocator.rs
index 05892d8ccc7d1d5a6a7cd368f3ec523062e93bdd..b53a5878e2daa887e7d72cbbc322eee369c5c4f1 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
     }