Fix some -Wmismatched-tags warnings.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108403 91177308-0d34-0410-b5e6-96231b3b80d8

3 files changed, 7 insertions, 7 deletions

diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index d211b8ce..c37a2869 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -44,13 +44,13 @@ namespace llvm {
 
 namespace klee {  
   class Array;
-  class Cell;
+  struct Cell;
   class ExecutionState;
   class ExternalDispatcher;
   class Expr;
   class InstructionInfoTable;
-  class KFunction;
-  class KInstruction;
+  struct KFunction;
+  struct KInstruction;
   class KInstIterator;
   class KModule;
   class MemoryManager;
@@ -60,7 +60,7 @@ namespace klee {
   class Searcher;
   class SeedInfo;
   class SpecialFunctionHandler;
-  class StackFrame;
+  struct StackFrame;
   class StatsTracker;
   class TimingSolver;
   class TreeStreamWriter;
diff --git a/lib/Core/SpecialFunctionHandler.h b/lib/Core/SpecialFunctionHandler.h
index e8c2eedf..02e70ed4 100644
--- a/lib/Core/SpecialFunctionHandler.h
+++ b/lib/Core/SpecialFunctionHandler.h
@@ -22,7 +22,7 @@ namespace klee {
   class Executor;
   class Expr;
   class ExecutionState;
-  class KInstruction;
+  struct KInstruction;
   template<typename T> class ref;
   
   class SpecialFunctionHandler {
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;