From: Emilie Burgun <emilie@shadamethyst.xyz>
Date: Tue, 7 Jan 2025 16:59:13 +0000 (+0100)
Subject: Fix load_context_module triggering unreachable code in unify_atom
X-Git-Tag: v0.10.0~81^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6cedbc33c05fc430e85d7e0dc765b07881ee78c2;p=scryer-prolog.git

Fix load_context_module triggering unreachable code in unify_atom
---

diff --git a/src/machine/dispatch.rs b/src/machine/dispatch.rs
index f77f7f0f..635de289 100644
--- a/src/machine/dispatch.rs
+++ b/src/machine/dispatch.rs
@@ -4812,11 +4812,11 @@ impl Machine {
                         step_or_fail!(self, self.machine_st.p = self.machine_st.cp);
                     }
                     &Instruction::CallLoadContextModule => {
-                        self.load_context_module(self.machine_st.registers[1]);
+                        self.load_context_module(self.deref_register(1));
                         step_or_fail!(self, self.machine_st.p += 1);
                     }
                     &Instruction::ExecuteLoadContextModule => {
-                        self.load_context_module(self.machine_st.registers[1]);
+                        self.load_context_module(self.deref_register(1));
                         step_or_fail!(self, self.machine_st.p = self.machine_st.cp);
                     }
                     &Instruction::CallLoadContextStream => {