Fix some complicated cases of computational Under with derived functions

1 files changed, 1 insertions, 1 deletions

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𝕩}