From: Mark <markjordanthom@gmail.com>
Date: Thu, 29 Jun 2023 18:58:15 +0000 (-0600)
Subject: read the cell written to by mark_var when needed in compile_is (#1846)
X-Git-Tag: v0.9.2~104
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a6a0cef9fc7730b7763945bf5b55499f3dcf43be;p=scryer-prolog.git

read the cell written to by mark_var when needed in compile_is (#1846)
---

diff --git a/src/arithmetic.rs b/src/arithmetic.rs
index 515dba4b..7f15a7f1 100644
--- a/src/arithmetic.rs
+++ b/src/arithmetic.rs
@@ -335,11 +335,11 @@ impl<'a> ArithmeticEvaluator<'a> {
                                 term_loc,
                                 &mut code,
                             );
+                            cell.get().norm()
                         } else {
                             self.marker.increment_running_count(var_num);
+                            r
                         }
-
-                        r
                     } else {
                         self.marker.increment_running_count(var_num);
                         cell.get().norm()