From c7764d31ac245d2307cd873020a3e0b0a355610f Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 14 Dec 2020 10:22:37 -0500
Subject: =?UTF-8?q?Have=20to=20check=20the=20result=20of=20=F0=9D=94=BD?=
 =?UTF-8?q?=E2=81=BC,=20not=20just=20apply=20it,=20to=20validate=20?=
 =?UTF-8?q?=F0=9D=94=BD=E2=81=BC=E2=81=BC=20result?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/r.bqn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/r.bqn b/src/r.bqn
index bc17f5d5..00da60db 100644
--- a/src/r.bqn
+++ b/src/r.bqn
@@ -646,7 +646,7 @@ Mod1Inverse ← INF˙ _lookup_ ⟨
 }
 IsConstant ← (3≤Type)◶⟨1 ⋄ 4‿˙ ≡ 0‿¯1⊏Decompose⟩
 Mod2Inverse ← INF˙ _lookup_ ⟨
-  _inv_, {𝕎⊸⊢𝕏}
+  _inv_, {𝕏_invChk_𝕎}
   ∘, AtopInverse
   ○, {Fi←𝕎⁼⋄𝕏⁼ Fi⊘(𝕏⊸Fi)}
   ⌾, {𝕎⁼⌾𝕏}  # Need to verify for computation Under
-- 
cgit v1.2.3