Update src/crab/wto.cpp

Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>
vbpf · Nov 1, 2024 · d722b89 · d722b89
1 parent 09f0b90
commit d722b89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/crab/wto.cpp b/src/crab/wto.cpp
@@ -276,7 +276,7 @@ wto_t::wto_t(const cfg_t& cfg) : wto_t{std::move(wto_builder_t(cfg).wto)} {}
 std::vector<label_t> wto_t::collect_heads(const label_t& label) {
     std::vector<label_t> heads;
     for (auto h = head(label); h; h = head(*h)) {
-        heads.emplace_back(*h);
+        heads.push_back(*h);
     }
     return heads;
 }