From d722b897113884d38eaa949617cbbe71f9a689ae Mon Sep 17 00:00:00 2001
From: Keith Horton <khorton@microsoft.com>
Date: Fri, 25 Oct 2024 18:52:05 -0700
Subject: [PATCH] Update src/crab/wto.cpp

Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com>
---
 src/crab/wto.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/crab/wto.cpp b/src/crab/wto.cpp
index ee7cf411b..2df211ba6 100644
--- 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;
 }