From 25f15d63d7f0f25707e32bfad28e233f433bb551 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 20 Aug 2022 11:44:40 -0400
Subject: Fix double-header check when there's stranding

---
 src/c.bqn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/c.bqn b/src/c.bqn
index fb4f88b1..40f68722 100644
--- a/src/c.bqn
+++ b/src/c.bqn
@@ -183,7 +183,7 @@ Parse ← {r‿vn‿i‿e‿def←𝕨⋄nv←≠vn
   ut←un/»us⋄hi/˜↩0=us                       # Undo type: 0 normal, 1 ⁼, 2 ˜⁼
   hr←(⊏⟜ns×⊏⟜r)rev⊏˜hi                      # Header component roles
   hl←2=hn←(1⊸»+«)hc←¯1=hr                   # hl: is label, hc: is :
-  "Only one header per body allowed"_err_(hc/HI) (1+hc/hi)⊏hf
+  "Only one header per body allowed"_err_(hc/HI) (g⊏˜1+gi⊏˜hc/hi)⊏hf
   ho←(»∨·«(hr=3)∧⊢)hl<hy←2≤hr               # Header operands
   "Missing operand in header"_err_(HI) (ut∧hr=3)∨ho∧hc∨hy
   hm←¬ho∨ha←ho<(0=hr)∧1=hn                  # Mask for main name; header arguments
-- 
cgit v1.2.3