# HG changeset patch
# User Michael Goffioul <michael.goffioul@gmail.com>
# Date 1381781713 14400
# Node ID d7da5afcdb22d76be2f448fa7cbaf7b59163e69b
# Parent  bb2fa6e5b3482787740c0252ecf41f5dd8e616b1
* libinterp/parse-tree/oct-parse.in.yy: Mark <tok_type> non-destructible.

diff -r bb2fa6e5b348 -r d7da5afcdb22 libinterp/parse-tree/oct-parse.in.yy
--- a/libinterp/parse-tree/oct-parse.in.yy	Mon Oct 14 15:00:12 2013 -0400
+++ b/libinterp/parse-tree/oct-parse.in.yy	Mon Oct 14 16:15:13 2013 -0400
@@ -325,7 +325,7 @@
 // and comments seperately and separators are just characters.  The
 // remaining items are dynamically allocated parse tree objects that
 // must be deleted.
-%destructor { } <sep_type> <tok_val> <comment_type> <dummy_type> <>
+%destructor { } <sep_type> <tok_val> <comment_type> <dummy_type> <tok_type> <>
 %destructor { delete $$; } <*>
 
 // Where to start.