changeset 1041 | 56ebe2a31b5b |
parent 965 | c9eeb67ba939 |
child 1043 | 4165b7189c32 |
--- 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");