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"