From f04fc5c4c7ec55cdaf6ebc367643c9e06ed7b824 Mon Sep 17 00:00:00 2001 From: depsterr Date: Thu, 20 Jan 2022 21:14:03 +0100 Subject: [PATCH] :) --- hm.cf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hm.cf b/hm.cf index a05995e..02a181b 100644 --- a/hm.cf +++ b/hm.cf @@ -2,7 +2,7 @@ layout toplevel ; entrypoints [Def], Exp ; -token Id ((letter|digit|'_'|'['|']')+) ; +token Id ((letter|digit|["[]_"])+) ; comment "--" ; comment "{-" "-}" ;