1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Core/StatsTracker.h b/lib/Core/StatsTracker.h
index 629a723d..23abac06 100644
--- a/lib/Core/StatsTracker.h
+++ b/lib/Core/StatsTracker.h
@@ -48,6 +48,7 @@ namespace klee {
 
   public:
     static bool useStatistics();
+    static bool useIStats();
 
   private:
     void updateStateStatistics(uint64_t addend);