1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/StatsTracker.h b/lib/Core/StatsTracker.h
index 9d22b389..8f3a01a2 100644
--- a/lib/Core/StatsTracker.h
+++ b/lib/Core/StatsTracker.h
@@ -26,8 +26,8 @@ namespace klee {
   class Executor;  
   class InstructionInfoTable;
   class InterpreterHandler;
-  class KInstruction;
-  class StackFrame;
+  struct KInstruction;
+  struct StackFrame;
 
   class StatsTracker {
     friend class WriteStatsTimer;