Merge 66ddc57 into 92cd5b1

TokTok · Mar 8, 2020 · c2e5dba · c2e5dba
2 parents 92cd5b1 + 66ddc57
commit c2e5dba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Tokstyle/Cimple/Lexer.x b/src/Tokstyle/Cimple/Lexer.x
@@ -67,6 +67,7 @@ tokens :-
 <0,ppSC>	"crypto_hash_sha256_"[A-Z][A-Z0-9_]*	{ mkL IdConst }
 <0,ppSC>	"crypto_hash_sha512_"[A-Z][A-Z0-9_]*	{ mkL IdConst }
 <0,ppSC>	"crypto_sign_"[A-Z][A-Z0-9_]*		{ mkL IdConst }
+<0,ppSC>	"crypto_auth_"[A-Z][A-Z0-9_]*		{ mkL IdConst }
 <0,ppSC>	"MAX"					{ mkL IdConst }
 <0,ppSC>	"MIN"					{ mkL IdConst }