diff -r 0e09a8840c92 -r 744b125d911e absyntax/absyntax.hh
--- 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);
 };