dereference first argument of (is)/2

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index b09d0503c665ce27f98a5a4be9ee02eb3597d088..5833633887adf26687e371f2f33882229eb48d53 100644 (file)
--- 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 {