fix wrong include

8 years ago · fbc0ddfa35
1 changed files with 0 additions and 1 deletions
--- 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"