replace nth_element() with macro that execute sort() instead for gcc 4.8.1 & 4.8.2

1 files changed, 2 insertions, 1 deletions

diff --git a/search/nbest.cc b/search/nbest.cc
index ec3322c97..acfc08049 100644
--- a/search/nbest.cc
+++ b/search/nbest.cc
@@ -1,6 +1,7 @@
 #include "search/nbest.hh"
 
 #include "util/pool.hh"
+#include "moses/Util.h"
 
 #include <algorithm>
 #include <functional>
@@ -16,7 +17,7 @@ NBestList::NBestList(std::vector<PartialEdge> &partials, util::Pool &entry_pool,
   std::vector<PartialEdge>::iterator end;
   if (partials.size() > keep) {
     end = partials.begin() + keep;
-    std::nth_element(partials.begin(), end, partials.end(), std::greater<PartialEdge>());
+    NTH_ELEMENT4(partials.begin(), end, partials.end(), std::greater<PartialEdge>());
   } else {
     end = partials.end();
   }