diff options
author | Dave Davenport <qball@gmpclient.org> | 2016-12-19 15:50:35 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2016-12-19 15:50:35 +0100 |
commit | 5b1b8d4d0526d15ac7e990f37513b80e653cdcab (patch) | |
tree | 090e85808bb75e3d8534f6147b9076febbe366b3 | |
parent | d8b877147c6340835eea70b62bffddc3a5b6f987 (diff) |
Destroy the lexer after parsing
-rw-r--r-- | source/theme.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/source/theme.c b/source/theme.c index f555e0de..868cf769 100644 --- a/source/theme.c +++ b/source/theme.c @@ -113,7 +113,8 @@ void rofi_theme_print ( Widget *widget ) rofi_theme_print_index ( 0, widget); } -extern int yyparse(); +int yyparse(); +void yylex_destroy( void ); extern FILE* yyin; extern Widget *rofi_theme; @@ -155,6 +156,7 @@ void rofi_theme_parse_file ( const char *file ) return; } while ( yyparse() ); + yylex_destroy(); } static Widget *rofi_theme_find_single ( Widget *widget, const char *name) { |