From 42374f49dce4eef66a5e7e2345753848905cd24b Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 26 Feb 2017 21:44:46 -0700
Subject: [PATCH] codegen tweak.

---
 src/l2/codegen.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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) {
-- 
2.54.0