From 099eb3c492d5226cffe1c5bb66cf04fd3cb7747b Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@ru.nl>
Date: Tue, 20 Oct 2026 16:33:34 +0200
Subject: [PATCH] Remove settings initialization, no longer needed with current
 Storm

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 src/main.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/main.cpp b/src/main.cpp
index 3e71828..6458bcf 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -1,9 +1,6 @@
 #include <storm/api/storm.h>
 #include <storm/utility/initialize.h>
 #include <storm-parsers/api/storm-parsers.h>
-// We include the settings manager explicitly, as it is no longer pulled in transitively by storm/api/storm.h.
-// TODO: drop the settings usage, e.g. by switching from storm::settings to storm::Environment, once the settings are fully removed from the storm API.
-#include <storm/settings/SettingsManager.h>
 
 typedef storm::models::sparse::Dtmc<double> Dtmc;
 typedef storm::modelchecker::SparseDtmcPrctlModelChecker<Dtmc> DtmcModelChecker;
@@ -47,8 +44,6 @@ int main(int argc, char* argv[]) {
 
     // Init loggers
     storm::utility::setUp();
-    // Set some settings objects.
-    storm::settings::initializeAll("storm-starter-project", "storm-starter-project");
 
     // Call function
     auto result = check(argv[1], argv[2]);