diff -r 4489afa5b1c5 -r 7474d2cd1d6e absyntax/absyntax.hh --- a/absyntax/absyntax.hh Sun Nov 30 12:49:42 2014 +0000 +++ b/absyntax/absyntax.hh Sat Dec 06 19:11:32 2014 +0000 @@ -247,6 +247,8 @@ virtual void insert_element(symbol_c *elem, int pos = 0); /* remove element at position pos. */ virtual void remove_element(int pos = 0); + /* remove all elements from list. Does not delete the elements in the list! */ + virtual void clear(void); };