From ec8b5a23f2e8b7176762a0fa328f8e0db9ddfe39 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Thu, 20 Oct 2016 16:57:28 +0200
Subject: [PATCH] Fixed compile issues with under Linux

Former-commit-id: 17f4d895ec52241f653fc9a175d4609c88d71a94
---
 src/builder/DftSmtBuilder.cpp | 2 +-
 src/storm-dyftee.cpp          | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/builder/DftSmtBuilder.cpp b/src/builder/DftSmtBuilder.cpp
index 1d60b2c74..c1226531c 100644
--- a/src/builder/DftSmtBuilder.cpp
+++ b/src/builder/DftSmtBuilder.cpp
@@ -1,4 +1,4 @@
-#include "src/builder/DFTSMTBuilder.h"
+#include "src/builder/DftSmtBuilder.h"
 #include "src/exceptions/NotImplementedException.h"
 
 namespace storm {
diff --git a/src/storm-dyftee.cpp b/src/storm-dyftee.cpp
index 51061050e..fb0c0b1e6 100644
--- a/src/storm-dyftee.cpp
+++ b/src/storm-dyftee.cpp
@@ -117,6 +117,7 @@ int main(const int argc, const char** argv) {
         parametric = generalSettings.isParametricSet();
 #endif
         
+#ifdef STORM_HAVE_Z3
         if (dftSettings.solveWithSMT()) {
             // Solve with SMT
             if (parametric) {
@@ -127,6 +128,7 @@ int main(const int argc, const char** argv) {
             storm::utility::cleanUp();
             return 0;
         }
+#endif
         
         // Set min or max
         bool minimal = true;