absyntax/absyntax.hh
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);
 };