--- scanner.l.original 2008-09-22 22:49:23.000000000 +0200 +++ scanner.l 2008-09-22 22:49:33.000000000 +0200 @@ -34,7 +34,7 @@ addr3 ({hexdigit}{1,4}":"){7}{hexdigit}{1,4} addr ({addr1}|{addr2}|{addr3}|"::") whitespace ([ \t])+ -string [a-z]([a-z:._-]|{digit})*([:.]{digit}+)? +string [a-zA-Z]([a-zA-Z:._-]|{digit})*([:.]{digit}+)? %% #.*$ {/* ignore comments */}