From be7ba7aa8bd01b775613bb4b443d2538aaf5b92b Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Thu, 5 May 2022 13:34:48 -0400
Subject: Fix some complicated cases of computational Under with derived
 functions

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

(limited to 'src')

diff --git a/src/r1.bqn b/src/r1.bqn
index 5e00e92e..4775ce47 100644
--- a/src/r1.bqn
+++ b/src/r1.bqn
@@ -468,7 +468,7 @@ under←{
   SFN ← 0⊸≤◶⟨3,2⊸≤◶⊢‿2⟩∘(0⊑⊢)◶⟨
     SE · {p←SP𝕩⋄P𝕩} 1⊑⊢           #  0 primitive
     E˙                            #  1 block
-    DIsConst◶⟨0⊸⊑ Recomp {SFN⌜1↓𝕩}, SE{(1⊑𝕩)˙}⟩  # other operation
+    DIsConst◶⟨SE 0⊸⊑ Recomp {SFN⌜1↓𝕩}, {(1⊑𝕩)˙}⟩  # other operation
     SE 1⊑⊢                        # ¯1 constant
   ⟩⟜{Decompose𝕩}
 
-- 
cgit v1.2.3