From 387ae3e780768e2ec85c11b0e889b7b2eb2dc3d7 Mon Sep 17 00:00:00 2001 From: drbeefsupreme Date: Wed, 23 Nov 2022 14:02:13 -0500 Subject: [PATCH] hoon: remove +vil leftover from doccords :: syntax change no longer needed --- pkg/arvo/sys/hoon.hoon | 5 ----- 1 file changed, 5 deletions(-) diff --git a/pkg/arvo/sys/hoon.hoon b/pkg/arvo/sys/hoon.hoon index 18f22b54c5..3f606e3a67 100644 --- a/pkg/arvo/sys/hoon.hoon +++ b/pkg/arvo/sys/hoon.hoon @@ -5327,11 +5327,6 @@ (star prn) (just `@`10) == -++ vil %+ cold ~ :: comments - ;~ plug col col - (star ace) - (just `@`10) - == :: :::: 4j: parsing (bases and base digits) ::