Remove unused parameter warning

Alan-Jowett · Alan-Jowett · commit 0d2ce9ee1376 · 2025-01-21T13:51:12.000-08:00
Signed-off-by: Alan Jowett &lt;alanjo@microsoft.com&gt;
diff --git a/src/crab/split_dbm.hpp b/src/crab/split_dbm.hpp
@@ -209,8 +209,8 @@ class SplitDBM final {
     SplitDBM widen(const SplitDBM& o) const;
 
     [[nodiscard]]
-    SplitDBM widening_thresholds(const SplitDBM& o, const iterators::thresholds_t& ts) const {
-        // TODO: use thresholds
+    SplitDBM widening_thresholds(const SplitDBM& o, const iterators::thresholds_t&) const {
+        // TODO: use thresholds. For now, make thresholds an anonymous argument to avoid unused parameter warning.
         return this->widen(o);
     }
 

Original file line number	Diff line number	Diff line change
`@@ -209,8 +209,8 @@ class SplitDBM final {`
`209`	`209`	`SplitDBM widen(const SplitDBM& o) const;`
`210`	`210`
`211`	`211`	`[[nodiscard]]`
`212`		`- SplitDBM widening_thresholds(const SplitDBM& o, const iterators::thresholds_t& ts) const {`
`213`		`- // TODO: use thresholds`
	`212`	`+ SplitDBM widening_thresholds(const SplitDBM& o, const iterators::thresholds_t&) const {`
	`213`	`+ // TODO: use thresholds. For now, make thresholds an anonymous argument to avoid unused parameter warning.`
`214`	`214`	`return this->widen(o);`
`215`	`215`	`}`
`216`	`216`