ng_corpus_generator: use std::next, not boost::next

diff --git a/util/ng_corpus_generator.cpp b/util/ng_corpus_generator.cpp
index 8692a3234a9f5803f2fd6bdf73889cd6a6903e8d..f2e8f7f9456d3e16fc160f884025165823968b50 100644 (file)
--- a/util/ng_corpus_generator.cpp
+++ b/util/ng_corpus_generator.cpp
@@ -194,7 +194,7 @@ void findPaths(const NGHolder &g, CorpusProperties &cProps,
             // If we've got no further adjacent vertices, re-use p rather than
             // copying it for the next path.
             unique_ptr<VertexPath> new_path;
-            if (boost::next(ai) == ae) {
+            if (std::next(ai) == ae) {
                 new_path = std::move(p);
             } else {
                 new_path = make_unique<VertexPath>(*p);