--- parser3/src/include/pa_array.h	2003/01/23 16:08:00	1.57.2.4
+++ parser3/src/include/pa_array.h	2003/01/23 17:05:33	1.57.2.5
@@ -8,10 +8,9 @@
 #ifndef PA_ARRAY_H
 #define PA_ARRAY_H
 
-static const char* IDENT_ARRAY_Y="$Date: 2003/01/23 16:08:00 $";
+static const char* IDENT_ARRAY_Y="$Date: 2003/01/23 17:05:33 $";
 
 #include "pa_pool.h"
-//#include "pa_types.h"
 #include "pa_exception.h"
 
 template<typename T> class Array_iterator;
@@ -152,6 +151,17 @@ private: //disabled
 	Array& operator = (const Array&) { return *this; }
 };
 
+typedef smart_ptr<char> CharPtr;
+
+class Pool: public Array<CharPtr> {
+public:
+	char *malloc(size_t size) {
+		CharPtr result=CharPtr(new char[size]);
+		*this += result;
+		return result.get();
+	}
+};
+
 /// handy array iterator
 template<typename T> class Array_iterator {