From 0bfcf658db23161491cde8f00f13b55a0d480f1a Mon Sep 17 00:00:00 2001
From: Midgard <midgard@zeus.ugent.be>
Date: Mon, 24 Feb 2020 18:33:59 +0100
Subject: [PATCH] Allow multiple spaces after attribute in location header

---
 app/hlds/hlds.tatsu | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/hlds/hlds.tatsu b/app/hlds/hlds.tatsu
index 62538b2..6bc8e0d 100644
--- a/app/hlds/hlds.tatsu
+++ b/app/hlds/hlds.tatsu
@@ -22,7 +22,7 @@ location_header =
 	;
 
 location_attribute =
-	n '\t' key:identifier ' ' value:string
+	n '\t' key:identifier s value:string
 	;
 
 location = >location_header items:{ block } ;