From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 9 Mar 2018 05:54:36 +0000 (-0700)
Subject: further debray fix.
X-Git-Tag: v0.8.110~530
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2bdf95e62dd8cb5346cedf9992b88d96a6565a29;p=scryer-prolog.git

further debray fix.
---

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