Index: trunk/src/main.c
===================================================================
--- trunk/src/main.c	(revision 1287)
+++ trunk/src/main.c	(revision 1288)
@@ -1619,6 +1619,9 @@
 	free0(Settings.GnetlistProgram);
 
 #undef free0
+
+	extern void yylex_destroy(void);
+	yylex_destroy();
 }
 
 int main(int argc, char *argv[])