From ccc9b40676dda341d0678e04e8c58deadc2f34e3 Mon Sep 17 00:00:00 2001
From: Ofek Shilon <ofekshilon@gmail.com>
Date: Thu, 7 Dec 2023 22:29:54 +0200
Subject: [PATCH] Fix: `remove_if` called without `erase`

---
 src/gen_policy.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/gen_policy.cpp b/src/gen_policy.cpp
index 432be8f..53074cf 100644
--- a/src/gen_policy.cpp
+++ b/src/gen_policy.cpp
@@ -540,4 +540,5 @@ void GenPolicy::removeProbability(std::vector<Probability<T>> &orig, U id) {
     std::remove_if(
         orig.begin(), orig.end(),
         [&id](Probability<T> &elem) -> bool { return elem.getId() == id; });
+    orig.erase(new_end, orig.end());
 }