From: Mark <markjordanthom@gmail.com>
Date: Sat, 2 Dec 2023 05:35:36 +0000 (-0700)
Subject: move propagated_var_nums insertion to proper scope (#2183)
X-Git-Tag: v0.9.4~91
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e667abb143e7df3d3bb8f87e35f164258206a10a;p=scryer-prolog.git

move propagated_var_nums insertion to proper scope (#2183)
---

diff --git a/src/codegen.rs b/src/codegen.rs
index 806872bf..fd0d21f9 100644
--- a/src/codegen.rs
+++ b/src/codegen.rs
@@ -85,10 +85,10 @@ impl BranchCodeStack {
 
                             self.stack[idx][branch_idx].push_back(instr!("put_variable", r, 0));
                         }
+                    }
 
-                        if idx > self.stack.len() - depth {
-                            propagated_var_nums.insert(var_num);
-                        }
+                    if idx > self.stack.len() - depth {
+                        propagated_var_nums.insert(var_num);
                     }
 
                     subsumed_hits.insert(var_num);