From 210b8d2b310c8e15707bad906361090619eddd0c Mon Sep 17 00:00:00 2001 From: Ilana Shapiro Date: Sun, 16 Nov 2025 14:30:50 -0800 Subject: [PATCH] small bugfix in searchtree? --- src/util/search_tree.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/search_tree.h b/src/util/search_tree.h index 2b9a41b59..7c51d138d 100644 --- a/src/util/search_tree.h +++ b/src/util/search_tree.h @@ -211,7 +211,7 @@ namespace search_tree { if (lit != lit_l && !res.contains(lit)) res.push_back(lit); for (auto const &lit : core_r) - if (lit != lit_l && !res.contains(lit)) + if (lit != lit_r && !res.contains(lit)) res.push_back(lit); return res; }