From f3c5dc866e429c388aa77375d9045698ccfb904e Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Tue, 26 Dec 2023 15:07:20 -0600
Subject: Support underscore names

---
 lib/lexer.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/lexer.mll')

diff --git a/lib/lexer.mll b/lib/lexer.mll
index e2f6469..b4e26d8 100644
--- a/lib/lexer.mll
+++ b/lib/lexer.mll
@@ -11,7 +11,7 @@ let float = digit* frac? exp?
 let int = digit+
 let white = [' ' '\t']+
 let newline = '\r' | '\n' | "\r\n"
-let id = ['a'-'z' 'A'-'Z' '-']*
+let id = ['a'-'z' 'A'-'Z' '-' '_']*
 let newline = '\r' | '\n' | "\r\n"
 let many_newline = newline+
 
-- 
cgit v1.2.3