Suppress unused lambda capture warning.

Author: tquatmann

src/storm-cli-utilities/model-handling.h

@@ -1296,6 +1296,7 @@ void verifyModel(std::shared_ptr<storm::models::sparse::Model<ValueType>> const&
     auto verificationCallback = [&sparseModel, &ioSettings, &mpi](std::shared_ptr<storm::logic::Formula const> const& formula,
                                                                   std::shared_ptr<storm::logic::Formula const> const& states) {
         auto createTask = [&ioSettings](auto const& f, bool onlyInitialStates) {
+            (void)ioSettings;  // suppress unused lambda capture warning. [[maybe_unused]] doesn't work for lambda captures.
             if constexpr (storm::IsIntervalType<ValueType>) {
                 STORM_LOG_THROW(ioSettings.isUncertaintyResolutionModeSet(), storm::exceptions::InvalidSettingsException,
                                 "Uncertainty resolution mode required for uncertain (interval) models.");