From 85bf82fcefe0c81226d86d061cb82aabcd2e7f81 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 17 Feb 2020 09:26:04 +0100
Subject: [PATCH] storm-pars: Removed redundant include.

---
 src/storm-pars-cli/storm-pars.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm-pars-cli/storm-pars.cpp b/src/storm-pars-cli/storm-pars.cpp
index 7fdf38c1c..187d10e52 100644
--- 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"