1 files changed, 1 insertions, 0 deletions
diff --git a/txr.c b/txr.c
index 5f423b03..5ff5e2e0 100644
--- a/txr.c
+++ b/txr.c
@@ -417,6 +417,7 @@ int txr_main(int argc, char **argv)
   {
     int gc = gc_state(0);
     yyparse();
+    yylex_destroy();
     gc_state(gc);
 
     if (errors)