diff options
Diffstat (limited to 'lib/Core/CoreStats.h')
| -rw-r--r-- | lib/Core/CoreStats.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/CoreStats.h b/lib/Core/CoreStats.h index 42e81de7..1e463c65 100644 --- a/lib/Core/CoreStats.h +++ b/lib/Core/CoreStats.h @@ -10,7 +10,7 @@ #ifndef KLEE_CORESTATS_H #define KLEE_CORESTATS_H -#include "klee/Statistic.h" +#include "klee/Statistics/Statistic.h" namespace klee { namespace stats { |