aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlessandro Iezzi <aiezzi@alessandroiezzi.it>2024-07-24 12:34:03 +0200
committerAlessandro Iezzi <aiezzi@alessandroiezzi.it>2024-07-24 12:34:03 +0200
commitcc2a942dd4a04d1b4e7a728ddcc50111b8bdc436 (patch)
tree16641c34a0aa7be3e24d130b72f819bb864f69cc
parent4466ab96255e3b720a96cf6dd05cdaeef5119691 (diff)
downloadproperties-cc2a942dd4a04d1b4e7a728ddcc50111b8bdc436.tar.gz
properties-cc2a942dd4a04d1b4e7a728ddcc50111b8bdc436.zip
Edit lexer rule to insert spaces after a key
-rw-r--r--properties.l2
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 */