From 5732990c805948249bdc3d43a52cfe050ad66a95 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Tue, 30 Jul 2019 12:34:27 +0100
Subject: Use #include "klee/..." (instead of #include <klee/...>)
 consistently.

---
 include/klee/Expr/ExprSMTLIBPrinter.h | 8 ++++----
 include/klee/Internal/Module/Cell.h   | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'include')

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;
-- 
cgit 1.4.1