From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 25 Mar 2022 23:30:47 +0000 (-0600)
Subject: advance arg in arithmetic comparison code (#1367)
X-Git-Tag: v0.9.1~97
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=23bfb4da5079ace60e8d44774f5d409d95e7d2aa;p=scryer-prolog.git

advance arg in arithmetic comparison code (#1367)
---

diff --git a/src/codegen.rs b/src/codegen.rs
index 61390257..5baa3bef 100644
--- a/src/codegen.rs
+++ b/src/codegen.rs
@@ -507,6 +507,7 @@ impl<'b, TermMarker: Allocator> CodeGenerator<'b, TermMarker> {
                 let at_1 = if let &Term::Var(ref vr, ref name) = &terms[0] {
                     ArithmeticTerm::Reg(self.mark_non_callable(name.clone(), 1, term_loc, vr, code))
                 } else {
+                    self.marker.advance_arg();
                     at_1.unwrap_or(interm!(1))
                 };