1 files changed, 1 insertions, 3 deletions
diff --git a/lib/Expr/Updates.cpp b/lib/Expr/Updates.cpp
index d58a3642..7264ca89 100644
--- a/lib/Expr/Updates.cpp
+++ b/lib/Expr/Updates.cpp
@@ -7,14 +7,12 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "klee/Expr.h"
+#include "klee/Expr/Expr.h"
 
 #include <cassert>
 
 using namespace klee;
 
-///
-
 UpdateNode::UpdateNode(const UpdateNode *_next, 
                        const ref<Expr> &_index, 
                        const ref<Expr> &_value)