Remove unused parameter warning

Signed-off-by: Alan Jowett <[email protected]>
vbpf · Jan 29, 2025 · a254702 · a254702
1 parent c310b4e
commit a254702
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/crab/split_dbm.hpp b/src/crab/split_dbm.hpp
@@ -210,7 +210,7 @@ class SplitDBM final {
 
     [[nodiscard]]
     SplitDBM widening_thresholds(const SplitDBM& o, const iterators::thresholds_t&) const {
-        // TODO: use thresholds. Threshold is anonymous until used to prevent unused parameter warning.
+        // TODO: use thresholds. For now, make thresholds an anonymous argument to avoid unused parameter warning.
         return this->widen(o);
     }