--- parser3/src/include/pa_array.h 2009/05/23 04:29:18 1.79 +++ parser3/src/include/pa_array.h 2010/11/05 21:56:49 1.80 @@ -8,7 +8,7 @@ #ifndef PA_ARRAY_H #define PA_ARRAY_H -static const char * const IDENT_ARRAY_Y="$Date: 2009/05/23 04:29:18 $"; +static const char * const IDENT_ARRAY_Y="$Date: 2010/11/05 21:56:49 $"; // includes @@ -161,6 +161,13 @@ public: felements[index]=element; } + /// remove index-element + inline void remove(size_t index) { + assert(index