advance arg in arithmetic comparison code (#1367)

diff --git a/src/codegen.rs b/src/codegen.rs
index 6139025761f0c90220b28228f4317d296de015ae..5baa3bef4cec81c3d62e39aa14b5130b76ec0b05 100644 (file)
--- 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))
                 };