From 532d971de1ce423f2017f5576bb8ac26503bb1d5 Mon Sep 17 00:00:00 2001
From: tamlin <tamlin@users.sourceforge.net>
Date: Sat, 29 Dec 2001 10:08:21 +0000
Subject: [PATCH] Explicitly allocate the alice permanent pool from the global
 default memory pool.

---
 src/alice/all.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/alice/all.cpp b/src/alice/all.cpp
index 3a26da2b99..33a717f846 100644
--- a/src/alice/all.cpp
+++ b/src/alice/all.cpp
@@ -24,7 +24,7 @@
 //
 //____________________________________________________________
 //
-//	$Id: all.cpp,v 1.4 2001-12-28 05:14:41 tamlin Exp $
+//	$Id: all.cpp,v 1.5 2001-12-29 10:08:21 tamlin Exp $
 //
 
 #include "../alice/all.h"
@@ -80,7 +80,7 @@ void ALLA_init(void)
 		AliceMemoryPool::create_new_pool();
 #else
 	// TMN: John, what pool to use here?
-	tdgbl->ALICE_permanent_pool = new AliceMemoryPool;
+	tdgbl->ALICE_permanent_pool = new (*getDefaultMemoryPool()) AliceMemoryPool;
 	tdgbl->ALICE_default_pool = tdgbl->ALICE_permanent_pool;
 #endif
 }