From e2606e7b8c1af44ef3dd3fd91a5a5beee0a00baf Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 17 Feb 2017 14:33:33 +0100
Subject: [PATCH] only do z3 optimizer tests if z3::optimize is available

---
 src/test/solver/Z3LpSolverTest.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/solver/Z3LpSolverTest.cpp b/src/test/solver/Z3LpSolverTest.cpp
index 960359b36..b8786013b 100644
--- a/src/test/solver/Z3LpSolverTest.cpp
+++ b/src/test/solver/Z3LpSolverTest.cpp
@@ -1,7 +1,7 @@
 #include "gtest/gtest.h"
 #include "storm-config.h"
 
-#ifdef STORM_HAVE_Z3
+#ifdef STORM_HAVE_Z3_OPTIMIZE
 #include "storm/storage/expressions/Variable.h"
 #include "storm/solver/Z3LpSolver.h"
 #include "storm/exceptions/InvalidStateException.h"