revert to push_back()

This commit is contained in:
Konstantinos Margaritis 2021-05-12 13:27:18 +03:00
parent 52661f35e8
commit 2805ff038a

View File

@ -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;