diff options
Diffstat (limited to 'lib/Core/StatsTracker.cpp')
| -rw-r--r-- | lib/Core/StatsTracker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp index 408e4d6d..259a8d98 100644 --- a/lib/Core/StatsTracker.cpp +++ b/lib/Core/StatsTracker.cpp @@ -18,7 +18,7 @@ #include "klee/Internal/Support/ModuleUtil.h" #include "klee/Internal/System/MemoryUsage.h" #include "klee/Internal/Support/ErrorHandling.h" -#include "klee/SolverStats.h" +#include "klee/Solver/SolverStats.h" #include "CallPathManager.h" #include "CoreStats.h" |