From a43403a85ebc63786fc2d8824817a21a7195cb0b Mon Sep 17 00:00:00 2001
From: Hieu Hoang <hieuhoang@gmail.com>
Date: Thu, 25 Feb 2016 15:48:58 +0000
Subject: [PATCH] use mempool for ministack recycler

---
 .../other-builds/moses2/Search/CubePruningMiniStack/Stack.cpp   | 2 +-
 contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.cpp b/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.cpp
index 9383d4acb..3842e1f8d 100644
--- a/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.cpp
+++ b/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.cpp
@@ -124,7 +124,7 @@ void MiniStack::Clear()
 Stack::Stack(const Manager &mgr)
 :m_mgr(mgr)
 ,m_coll(MemPoolAllocator< std::pair<HypoCoverage, MiniStack*> >(mgr.GetPool()))
-,m_miniStackRecycler()
+,m_miniStackRecycler(MemPoolAllocator<MiniStack*>(mgr.GetPool()))
 {
 }
 
diff --git a/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.h b/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.h
index ee6b53f3b..5729de795 100644
--- a/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.h
+++ b/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.h
@@ -94,7 +94,7 @@ protected:
 	const Manager &m_mgr;
 	Coll m_coll;
 
-	std::deque<MiniStack*> m_miniStackRecycler;
+	std::deque<MiniStack*, MemPoolAllocator<MiniStack*> > m_miniStackRecycler;
 
 
 };