diff --git a/src/storm-conv-cli/storm-conv.cpp b/src/storm-conv-cli/storm-conv.cpp index bbd700b53..798f23312 100644 --- a/src/storm-conv-cli/storm-conv.cpp +++ b/src/storm-conv-cli/storm-conv.cpp @@ -308,6 +308,7 @@ namespace storm { void processOptions() { // Start by setting some urgent options (log levels, etc.) + // We cannot use the general variants used for other executables since the "GeneralSettings" module is not available in Storm-conv setUrgentOptions(); // Branch on the type of input