From d88cda4278f2deffeb059c396bbf3872e9d9fef1 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 17 Oct 2020 16:09:54 -0400
Subject: Left out of previous commit

---
 dzref | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'dzref')

diff --git a/dzref b/dzref
index 43e6a58e..e446d698 100755
--- a/dzref
+++ b/dzref
@@ -115,11 +115,7 @@ _withRef ← ˙
   lf ← @+10
   pre ← E_isdef◶E_proc‿E_redef¨ lf((⊢-˜¬×+`)∘=⊔⊢)impl
   ExecFile←{
-#   path ← "dot_path←" ∾ '"' (⊣∾⊣∾˜(1+=)/⊢) (∨`⌾⌽'/'=𝕩)/𝕩
-#   src ← "•path"•_r_"dot_path"∘E_proc¨ •LNS 𝕩
-#   Raw ∾ ∾⟜lf¨ path <⊸∾ src
-    #path ← "dot_path←" ∾ '"' (⊣∾⊣∾˜(1+=)/⊢) (∨`⌾⌽'/'=𝕩)/𝕩
-    src ← E_proc¨ •LNS 𝕩 # "•path"•_r_"dot_path"∘
+    src ← E_proc¨ •LNS 𝕩
     ⟨⟨⟩,"",(∨`⌾⌽'/'=𝕩)/𝕩⟩ Raw ∾ ∾⟜lf¨ src
   }
   X↩Raw∘E_proc
-- 
cgit v1.2.3