From 9d70b9d768b96d33446b7a2f6b2fb9bad5edb0b9 Mon Sep 17 00:00:00 2001 From: TimQu Date: Fri, 17 Feb 2017 17:35:12 +0100 Subject: [PATCH] fixed typo in an #include statement. --- src/storm/storage/geometry/NativePolytope.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/storage/geometry/NativePolytope.cpp b/src/storm/storage/geometry/NativePolytope.cpp index 29f7b594f..e095fe4ed 100644 --- a/src/storm/storage/geometry/NativePolytope.cpp +++ b/src/storm/storage/geometry/NativePolytope.cpp @@ -3,7 +3,7 @@ #include "storm/utility/macros.h" #include "storm/utility/solver.h" -#include "storm/solver/Z3LPSolver.h" +#include "storm/solver/Z3LpSolver.h" #include "storm/solver/SmtSolver.h" #include "storm/storage/geometry/nativepolytopeconversion/QuickHull.h" #include "storm/storage/geometry/nativepolytopeconversion/HyperplaneEnumeration.h"