dereference clause_clause value, reserve more parser space (#2579)

2024-11-14 22:04:09 -07:00
parent 79be0c0625
commit c0cd371056
2 changed files with 3 additions and 3 deletions
--- a/src/machine/loader.rs
+++ b/src/machine/loader.rs
@@ -2462,7 +2462,7 @@ impl<'a> Loader<'a, LiveLoadAndMachineState<'a>> {
        }

        let machine_st = LiveLoadAndMachineState::machine_st(&mut self.payload);
-        let value = machine_st.store(MachineState::deref(&machine_st, machine_st[term_reg]));
+        let value = machine_st.store(MachineState::deref(machine_st, machine_st[term_reg]));

        self.add_clause_clause_if_dynamic(value)?;