diff --git a/src/storm-pomdp-cli/storm-pomdp.cpp b/src/storm-pomdp-cli/storm-pomdp.cpp index ec888bd02..56de8b404 100644 --- a/src/storm-pomdp-cli/storm-pomdp.cpp +++ b/src/storm-pomdp-cli/storm-pomdp.cpp @@ -63,6 +63,8 @@ void initializeSettings() { storm::settings::addModule(); storm::settings::addModule(); + storm::settings::addModule(); + storm::settings::addModule();