diff --git a/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.cpp b/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.cpp index caf409896..9383d4acb 100644 --- a/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.cpp +++ b/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.cpp @@ -123,7 +123,7 @@ void MiniStack::Clear() /////////////////////////////////////////////////////////////// Stack::Stack(const Manager &mgr) :m_mgr(mgr) -,m_coll() +,m_coll(MemPoolAllocator< std::pair >(mgr.GetPool())) ,m_miniStackRecycler() { } diff --git a/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.h b/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.h index d56bf4590..ee6b53f3b 100644 --- a/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.h +++ b/contrib/other-builds/moses2/Search/CubePruningMiniStack/Stack.h @@ -67,6 +67,7 @@ public: typedef boost::unordered_map ,std::equal_to + ,MemPoolAllocator< std::pair > > Coll;