From c8d2222c58713e989e94ea00b3c9ee1721f014ec Mon Sep 17 00:00:00 2001
From: gijs <gijs@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 11 Aug 2005 12:24:36 +0000
Subject: [PATCH] - Allow identifiers to start with @ so that internal
 protocols   such as key compromise and swapkey can be prefixed with @ to
 indicate   that they should be ignored by the classification tool.

---
 src/scanner.l | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scanner.l b/src/scanner.l
index 950a686..019183c 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})+
 
 %%