From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 27 Feb 2017 04:44:46 +0000 (-0700)
Subject: codegen tweak.
X-Git-Tag: v0.8.110~766
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=42374f49dce4eef66a5e7e2345753848905cd24b;p=scryer-prolog.git

codegen tweak.
---

diff --git a/src/l2/codegen.rs b/src/l2/codegen.rs
index 456f834a..4de05481 100644
--- a/src/l2/codegen.rs
+++ b/src/l2/codegen.rs
@@ -239,7 +239,7 @@ impl<'a> TermMarker<'a> {
 
     fn advance_at_header(&mut self, term: &'a Term) {
         self.arg_c = 1;
-        self.temp_c = max(term.subterms() + 1,
+        self.temp_c = max(term.subterms(),
                           self.bindings.values()
                           .filter_map(|vr| {
                               match vr {
@@ -249,7 +249,7 @@ impl<'a> TermMarker<'a> {
                                   _ => None
                               }
                           })
-                          .max().unwrap_or(0));
+                          .max().unwrap_or(0)) + 1;
     }
 
     fn advance(&mut self, term: &'a Term) {