Consolidated Expr-related include files into a single include/klee/Expr directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE.

1 files changed, 7 insertions, 6 deletions

diff --git a/lib/Expr/AssignmentGenerator.cpp b/lib/Expr/AssignmentGenerator.cpp
index dc744ba0..acb2dc13 100644
--- a/lib/Expr/AssignmentGenerator.cpp
+++ b/lib/Expr/AssignmentGenerator.cpp
@@ -9,21 +9,22 @@
 
 #include "AssignmentGenerator.h"
 
-#include <cassert>
-#include <cstdint>
+#include "klee/Expr/Assignment.h"
+#include "klee/Internal/Support/ErrorHandling.h"
+#include "klee/klee.h"
+
 #include <llvm/ADT/APInt.h>
 #include <llvm/Support/Casting.h>
 #include <llvm/Support/raw_ostream.h>
+
+#include <cassert>
+#include <cstdint>
 #include <map>
 #include <set>
 #include <stddef.h>
 #include <string>
 #include <utility>
 
-#include "klee/Internal/Support/ErrorHandling.h"
-#include "klee/klee.h"
-#include "klee/util/Assignment.h"
-
 using namespace klee;
 
 bool AssignmentGenerator::generatePartialAssignment(const ref<Expr> &e,