1 files changed, 2 insertions, 2 deletions
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;