From fbc0ddfa35ea5ba7c36f1fba74ee6a4176029048 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Fri, 18 Nov 2016 10:40:05 +0100
Subject: [PATCH] fix wrong include

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

diff --git a/src/storm/storm-dyftee.cpp b/src/storm/storm-dyftee.cpp
index 987e5eb45..eaab221d2 100644
--- a/src/storm/storm-dyftee.cpp
+++ b/src/storm/storm-dyftee.cpp
@@ -9,7 +9,6 @@
 #include "storm/exceptions/BaseException.h"
 #include "storm/utility/macros.h"
 #include "storm/builder/DftSmtBuilder.h"
-#include "storm/transformations/dft/DftToGspnTransformator.h"
 
 
 #include "storm/settings/modules/GeneralSettings.h"