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/include/klee/ExecutionState.h b/include/klee/ExecutionState.h
index 1715f7b4..d2994288 100644
--- a/include/klee/ExecutionState.h
+++ b/include/klee/ExecutionState.h
@@ -25,12 +25,12 @@
 namespace klee {
   class Array;
   class CallPathNode;
-  class Cell;
-  class KFunction;
-  class KInstruction;
+  struct Cell;
+  struct KFunction;
+  struct KInstruction;
   class MemoryObject;
   class PTreeNode;
-  class InstructionInfo;
+  struct InstructionInfo;
 
 std::ostream &operator<<(std::ostream &os, const MemoryMap &mm);
 
diff --git a/include/klee/Internal/Module/KInstIterator.h b/include/klee/Internal/Module/KInstIterator.h
index 3890cc65..88efed38 100644
--- a/include/klee/Internal/Module/KInstIterator.h
+++ b/include/klee/Internal/Module/KInstIterator.h
@@ -11,7 +11,7 @@
 #define KLEE_KINSTITERATOR_H
 
 namespace klee {
-  class KInstruction;
+  struct KInstruction;
 
   class KInstIterator {
     KInstruction **it;
diff --git a/include/klee/Internal/Module/KModule.h b/include/klee/Internal/Module/KModule.h
index 690f079d..67723b3a 100644
--- a/include/klee/Internal/Module/KModule.h
+++ b/include/klee/Internal/Module/KModule.h
@@ -26,12 +26,12 @@ namespace llvm {
 }
 
 namespace klee {
-  class Cell;
+  struct Cell;
   class Executor;
   class Expr;
   class InterpreterHandler;
   class InstructionInfoTable;
-  class KInstruction;
+  struct KInstruction;
   class KModule;
   template<class T> class ref;