changeset 438 | 744b125d911e |
parent 417 | d48f53715f77 |
child 459 | 01f6664bf8c5 |
--- a/absyntax/absyntax.hh Wed Feb 08 18:33:01 2012 +0000 +++ b/absyntax/absyntax.hh Fri Feb 10 19:04:31 2012 +0000 @@ -129,6 +129,8 @@ /* To insert into the begining of list, call with pos=0 */ /* To insert into the end of list, call with pos=list->n */ virtual void insert_element(symbol_c *elem, int pos = 0); + /* remove element at position pos. */ + virtual void remove_element(int pos = 0); };