aboutsummaryrefslogtreecommitdiff
path: root/dzref
diff options
context:
space:
mode:
Diffstat (limited to 'dzref')
-rwxr-xr-xdzref2
1 files changed, 1 insertions, 1 deletions
diff --git a/dzref b/dzref
index 7038e77e..2c38fd2d 100755
--- a/dzref
+++ b/dzref
@@ -115,7 +115,7 @@ _withRef ← ˙
lf ← @+10
pre ← E_isdef◶E_proc‿E_redef¨ lf((⊢-˜¬×+`)∘=⊔⊢)impl
ExecFile←{
- src ← E_proc¨ •LNS 𝕩
+ src ← E_proc¨ •FLines 𝕩
⟨⟨⟩,"",(∨`⌾⌽'/'=𝕩)/𝕩⟩ Raw ∾ ∾⟜lf¨ src
}
_withRef ↩ {𝔽∘E_proc⊘(𝔽⟜E_proc)}