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"