--- 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 11:33:02	1.57.2.7
@@ -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 11:33:02 $";
 
 #include "pa_pool.h"
 #include "pa_exception.h"
@@ -162,6 +162,10 @@ public:
 	}
 };
 
+void *operator new(size_t size, Pool& pool) { 
+	return pool.malloc(size);
+}
+
 /// handy array iterator
 template<typename T> class Array_iterator {