aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdzref_full3
1 files changed, 1 insertions, 2 deletions
diff --git a/dzref_full b/dzref_full
index 6ae54d14..beaf39c2 100755
--- a/dzref_full
+++ b/dzref_full
@@ -444,8 +444,7 @@ X←Raw←{≤4}
⍎"Type ← ⟨⟩⥊0⊸⥊"
'!' Mod "{𝕩 ⋄ ≤1}⍟¬"
- '⌜' Mod "{(𝔽¨)⊘(𝔽⌜)}"
- Mod⟜⥊¨ "+-×÷⋆⌊=≤≢⥊⊑↕⁼"
+ Mod⟜⥊¨ "+-×÷⋆⌊=≤≢⥊⊑↕⌜⁼"
# checks if line is a builtin redefinition