revert to push_back()

diff --git a/src/nfagraph/ng_literal_analysis.cpp b/src/nfagraph/ng_literal_analysis.cpp
index ad260a1f4ef42012883c4333f7108a29e6f14ba5..1dbf23a7a14b26269ff56c59f13cc376374df000 100644 (file)
--- a/src/nfagraph/ng_literal_analysis.cpp
+++ b/src/nfagraph/ng_literal_analysis.cpp
@@ -113,7 +113,7 @@ void dumpGraph(const char *filename, const LitGraph &lg) {
             fout << "[label=\"SINK\"];";
         } else {
             ue2_literal s;
-            s.emplace_back(lg[v].c);
+            s.push_back(lg[v].c);
             fout << "[label=\"" << dumpString(s) << "\"];";
         }
         fout << endl;