From eddf573f105ea51bcc9504e0ff9681e444507c0e Mon Sep 17 00:00:00 2001 From: Amin Yahyaabadi Date: Thu, 18 May 2023 11:20:41 -0700 Subject: [PATCH] fix: variable 'count' set but not used --- conex/clique_ordering.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conex/clique_ordering.cc b/conex/clique_ordering.cc index dc9790e..d288a76 100644 --- a/conex/clique_ordering.cc +++ b/conex/clique_ordering.cc @@ -317,7 +317,7 @@ void PickCliqueOrder(const vector>& cliques_sorted, FillIn(tree, num_vars, *order, supernodes, separators); if (post_order_pointer) { - int count = 0; + [[maybe_unused]] int count = 0; auto& post_order = *post_order_pointer; for (auto& e : *separators) { std::vector intersection;