X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flexer.c;h=cc2f8ca8e54e35407569b3a26bcb62923846fbee;hb=5c5204d433be6419112bd77f75b9a9adb642f766;hp=fc6bf9d38c575e061c19cd2af27a51b93de3373d;hpb=40271dcbfdecb01dfe808684741215eb2ddeb508;p=pspp

diff --git a/src/lexer.c b/src/lexer.c
index fc6bf9d38c..cc2f8ca8e5 100644
--- a/src/lexer.c
+++ b/src/lexer.c
@@ -92,6 +92,7 @@ static void dump_token (void);
 void
 lex_init (void)
 {
+  ds_init (&tokstr, 64);
   ds_init (&put_tokstr, 64);
   if (!lex_get_line ())
     unexpected_eof ();
@@ -100,7 +101,8 @@ lex_init (void)
 void
 lex_done (void)
 {
-  ds_destroy(&put_tokstr);
+  ds_destroy (&put_tokstr);
+  ds_destroy (&tokstr);
 }