From cc66c9d758e2a4b0065f3c9dc12af5290aa0a58d Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 17 Mar 2020 09:30:26 +0100
Subject: [PATCH] Storm-conv: Added a comment explaining why this executable
 needs its own 'setUrgentOptions'

---
 src/storm-conv-cli/storm-conv.cpp | 1 +
 1 file changed, 1 insertion(+)

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