From 93dcd2ac02276f3f2aac51247923d2af64f2b500 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Wed, 25 Jan 2023 22:06:06 -0500
Subject: Don't get variable last use in boot3

---
 src/bootstrap/verify.bqn | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/bootstrap/verify.bqn')

diff --git a/src/bootstrap/verify.bqn b/src/bootstrap/verify.bqn
index c833c2f2..bacec4fc 100644
--- a/src/bootstrap/verify.bqn
+++ b/src/bootstrap/verify.bqn
@@ -8,9 +8,10 @@ t ← (∾∾⟜(@+10)¨)¨ (¯5⊸↓∾gl˙)⌾⊑⌾⊑ •FLines¨ f # Compi
 
 # Check that compiler 𝕩 compiles 𝕩-1 same as full compiler
 Ver ← {
-  norm ← {𝕎𝕏}˜´ (2⌊𝕩) ↑ ⟨
+  norm ← {𝕎𝕏}˜´ 𝕩 ↑ ⟨
     4⊸↑              # Strip source info, always
     ⋈⁼∘∾⍟=¨⌾(2⊑¨2⊸⊑) # Turn only-dyadic functions to ambivalent, only ≥2
+    (⊢-2×34⊸=)⌾⊑     # VARU to VARO, could hit non-opcode numbers, oh well
   ⟩
   ! ≡○Norm´ (0‿𝕩⊏c) {𝕎𝕩}¨ (𝕩-1)⊏t
   •Out ∾⟨"Boot -",'0'+𝕩," verified!"⟩
-- 
cgit v1.2.3