only do z3 optimizer tests if z3::optimize is available

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