diff options
author | Pixel <pixel@nobis-crew.org> | 2013-07-22 16:05:40 -0700 |
---|---|---|
committer | Pixel <pixel@nobis-crew.org> | 2013-07-22 16:05:40 -0700 |
commit | 0dd72f291afd89ed89112efbdbb04f53da4f084d (patch) | |
tree | f2395292a138a5ed1647562fec20b1e2a0ee41e1 | |
parent | 804886ec07e47a83d22b2471db15f8045e342d18 (diff) |
-rw-r--r-- | compil.lex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -101,7 +101,7 @@ BEGIN(WWH); } -<WWH>"height=\""[[:digit:]]+"\"/>" { +<WWH>"height=\""[[:digit:]]+"\"/>\n" { int d = atoi(yytext + 8); windows[current_ptr].h = d; BEGIN(I); |