codegen tweak.

diff --git a/src/l2/codegen.rs b/src/l2/codegen.rs
index 456f834a091f1ff0580550bea3d60e62839725df..4de0548109e6e09f3000a259e8be5158ad8035c3 100644 (file)
--- 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) {