From 2805ff038a0f4c578122401733ab59f4c7206f12 Mon Sep 17 00:00:00 2001 From: Konstantinos Margaritis Date: Wed, 12 May 2021 13:27:18 +0300 Subject: [PATCH] revert to push_back() --- src/nfagraph/ng_literal_analysis.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/nfagraph/ng_literal_analysis.cpp b/src/nfagraph/ng_literal_analysis.cpp index ad260a1f..1dbf23a7 100644 --- 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;