diff options
author | 2024-07-24 12:34:03 +0200 | |
---|---|---|
committer | 2024-07-24 12:34:03 +0200 | |
commit | cc2a942dd4a04d1b4e7a728ddcc50111b8bdc436 (patch) | |
tree | 16641c34a0aa7be3e24d130b72f819bb864f69cc | |
parent | 4466ab96255e3b720a96cf6dd05cdaeef5119691 (diff) | |
download | properties-cc2a942dd4a04d1b4e7a728ddcc50111b8bdc436.tar.gz properties-cc2a942dd4a04d1b4e7a728ddcc50111b8bdc436.zip |
Edit lexer rule to insert spaces after a key
-rw-r--r-- | properties.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/properties.l b/properties.l index a2bde9b..4e6f04b 100644 --- a/properties.l +++ b/properties.l @@ -5,7 +5,7 @@ %% =|: return DIV; -^[ \t]*[a-zA-Z0-9\.]* yylval.value = strdup(yytext); return KEY; +^[ \t]*[a-zA-Z0-9\.]*[ \t]* yylval.value = strdup(yytext); return KEY; \n ; /* Ignores empty lines with a single newline */ ^[ \t]*#.* ; /* Ignores comments */ ^[ \t]*/\r?\n ; /* /\r?\n get the end of line, ref: https://stackoverflow.com/a/56104754 */ |