storm-pars: Removed redundant include.

5 years ago · 85bf82fcef
1 changed files with 0 additions and 1 deletions
--- a/src/storm-pars-cli/storm-pars.cpp
+++ b/src/storm-pars-cli/storm-pars.cpp
@ -23,7 +23,6 @@

 #include "storm/exceptions/BaseException.h"
 #include "storm/exceptions/InvalidSettingsException.h"
-#include "storm/exceptions/InvalidSettingsException.h"
 #include "storm/exceptions/NotSupportedException.h"

 #include "storm/models/ModelBase.h"