From 2dc9eb9b8336f44ad72981ad3007b647ea2c499a Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Tue, 1 Sep 2015 17:31:35 +0200
Subject: [PATCH] Currently exclude smtrat- does not compile with current
 version.

Former-commit-id: cbafb48242feeb5cb6bf2ce437d6197fc39523d9
---
 src/solver/SmtratSmtSolver.cpp | 3 +++
 src/solver/SmtratSmtSolver.h   | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/src/solver/SmtratSmtSolver.cpp b/src/solver/SmtratSmtSolver.cpp
index cacc47836..0882fb07a 100644
--- a/src/solver/SmtratSmtSolver.cpp
+++ b/src/solver/SmtratSmtSolver.cpp
@@ -4,6 +4,8 @@
 #include "src/exceptions/InvalidStateException.h"
 
 #ifdef STORM_HAVE_SMTRAT
+
+#ifdef SMTRATDOESNTWORK // Does not compile with current version of smtrat.
 #include "lib/smtrat.h"
 
 namespace storm {
@@ -85,4 +87,5 @@ namespace storm {
 
         }
 }
+#endif
 #endif
\ No newline at end of file
diff --git a/src/solver/SmtratSmtSolver.h b/src/solver/SmtratSmtSolver.h
index 4f9126771..0e1cb931d 100644
--- a/src/solver/SmtratSmtSolver.h
+++ b/src/solver/SmtratSmtSolver.h
@@ -4,6 +4,8 @@
 #include "src/solver/SmtSolver.h"
 
 #ifdef STORM_HAVE_SMTRAT
+#ifdef SMTRATDOESNTWORK // Does not compile with current version of smtrat.
+
 #include "lib/smtrat.h"
 #include "../adapters/carlAdapter.h"
 
@@ -45,5 +47,6 @@ namespace storm {
 	}
 }
 #endif
+#endif
 
 #endif // STORM_SOLVER_SMTRATSMTSOLVER
\ No newline at end of file