From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 1 Nov 2024 04:58:29 +0000 (-0600)
Subject: unmark_cell_bits! in push_literal (#2645)
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=refs%2Fheads%2Frebis-next;p=scryer-prolog.git

unmark_cell_bits! in push_literal (#2645)
---

diff --git a/src/arithmetic.rs b/src/arithmetic.rs
index 55770f88..7335f625 100644
--- a/src/arithmetic.rs
+++ b/src/arithmetic.rs
@@ -62,6 +62,8 @@ pub(crate) struct ArithmeticEvaluator<'a> {
 }
 
 fn push_literal(interm: &mut Vec<ArithmeticTerm>, c: HeapCellValue) -> Result<(), ArithmeticError> {
+    let c = unmark_cell_bits!(c);
+
     read_heap_cell!(c,
         (HeapCellValueTag::Fixnum, n) => {
             interm.push(ArithmeticTerm::Number(Number::Fixnum(n)))