1 files changed, 4 insertions, 4 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);