2 files changed, 5 insertions, 5 deletions
diff --git a/include/klee/Expr/ExprSMTLIBPrinter.h b/include/klee/Expr/ExprSMTLIBPrinter.h
index b042bfeb..a7a604e1 100644
--- a/include/klee/Expr/ExprSMTLIBPrinter.h
+++ b/include/klee/Expr/ExprSMTLIBPrinter.h
@@ -11,10 +11,10 @@
 #ifndef KLEE_EXPRSMTLIBPRINTER_H
 #define KLEE_EXPRSMTLIBPRINTER_H
 
-#include <klee/Expr/Constraints.h>
-#include <klee/Expr/Expr.h>
-#include <klee/Solver.h>
-#include <klee/util/PrintContext.h>
+#include "klee/Expr/Constraints.h"
+#include "klee/Expr/Expr.h"
+#include "klee/Solver.h"
+#include "klee/util/PrintContext.h"
 
 #include <map>
 #include <set>
diff --git a/include/klee/Internal/Module/Cell.h b/include/klee/Internal/Module/Cell.h
index abdce3f6..c7d9ae18 100644
--- a/include/klee/Internal/Module/Cell.h
+++ b/include/klee/Internal/Module/Cell.h
@@ -10,7 +10,7 @@
 #ifndef KLEE_CELL_H
 #define KLEE_CELL_H
 
-#include <klee/Expr/Expr.h>
+#include "klee/Expr/Expr.h"
 
 namespace klee {
   class MemoryObject;