From 998e4852babb109b1e09fc5dc8a7cc44bdd7f2c5 Mon Sep 17 00:00:00 2001 From: gijs Date: Mon, 15 Aug 2005 11:27:46 +0000 Subject: [PATCH] - Allow ^ and - in identifies which will be used in protocol names in future naming conventions --- src/scanner.l | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/scanner.l b/src/scanner.l index 019183c..f3d1825 100644 --- a/src/scanner.l +++ b/src/scanner.l @@ -45,7 +45,7 @@ ascii_char [^\"\n] escaped_char \\n|\\\" integer {digit}+ text \"({ascii_char}|{escaped_char})*\" -id @?({letter}|{digit})+ +id @?({letter}|{digit}|[\^\-])+ %%