From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 12 Dec 2021 06:36:19 +0000 (-0700)
Subject: dereference first argument of (is)/2
X-Git-Tag: v0.9.0^2~97
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=708c3bc3ce6d2498d0f2797bfd3f9c0412123d44;p=scryer-prolog.git

dereference first argument of (is)/2
---

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index b09d0503..58336338 100644
--- a/src/machine/machine_state.rs
+++ b/src/machine/machine_state.rs
@@ -597,7 +597,7 @@ pub trait CallPolicy: Any + fmt::Debug {
                 return_from_clause!(machine_st.last_call, machine_st)
             }
             &BuiltInClauseType::Is(r, ref at) => {
-                let n1 = machine_st[r];
+                let n1 = machine_st.store(machine_st.deref(machine_st[r]));
                 let n2 = machine_st.get_number(at)?;
 
                 match n2 {