--- parser3/src/include/pa_pool.h	2003/02/03 13:04:17	1.86.2.25
+++ parser3/src/include/pa_pool.h	2003/02/03 15:57:43	1.86.2.26
@@ -9,7 +9,7 @@
 #ifndef PA_POOL_H
 #define PA_POOL_H
 
-static const char* IDENT_POOL_H="$Date: 2003/02/03 13:04:17 $";
+static const char* IDENT_POOL_H="$Date: 2003/02/03 15:57:43 $";
 
 // include
 
@@ -223,10 +223,10 @@ public:
 #define override
 #define rethrow throw
 
-inline void *operator new(size_t size) { 
+inline void *operator new[] (size_t size) { 
 	return pa_malloc(size);
 }
-inline void operator delete(void *ptr) {
+inline void operator delete[] (void *ptr) {
 	pa_free(ptr);
 }