--- parser3/src/include/pa_array.h	2003/01/24 08:19:08	1.57.2.6
+++ parser3/src/include/pa_array.h	2003/01/24 14:36:10	1.57.2.8
@@ -8,7 +8,7 @@
 #ifndef PA_ARRAY_H
 #define PA_ARRAY_H
 
-static const char* IDENT_ARRAY_Y="$Date: 2003/01/24 08:19:08 $";
+static const char* IDENT_ARRAY_Y="$Date: 2003/01/24 14:36:10 $";
 
 #include "pa_pool.h"
 #include "pa_exception.h"
@@ -160,8 +160,18 @@ public:
 		*this += result;
 		return result.get();
 	}
+
+	char *malloc(const char *buf, size_t size) {
+		char *result=malloc(size);
+		memcpy(result, buf, size);
+		return result;
+	}
 };
 
+void *operator new(size_t size, Pool& pool) { 
+	return pool.malloc(size);
+}
+
 /// handy array iterator
 template<typename T> class Array_iterator {