diff -r e8563dcaefca -r 56ebe2a31b5b absyntax/absyntax.cc
--- a/absyntax/absyntax.cc	Mon Apr 03 22:06:40 2017 +0100
+++ b/absyntax/absyntax.cc	Mon Apr 03 22:18:22 2017 +0100
@@ -99,6 +99,9 @@
 }
 
 
+/* get element in position pos of the list */
+symbol_c *list_c::get_element(int pos) {return elements[pos];}
+
 /* append a new element to the end of the list */
 void list_c::add_element(symbol_c *elem) {
   // printf("list_c::add_element()\n");