From ac8250b79e1249df7a1e852d01cd5f41f5c962ce Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 24 Apr 2014 12:14:06 +0100
Subject: Add missing newline at end of file to silence a clang warning.

---
 include/klee/util/ArrayExprHash.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/klee/util/ArrayExprHash.h b/include/klee/util/ArrayExprHash.h
index 9a527bcd..1e5ffc2e 100644
--- a/include/klee/util/ArrayExprHash.h
+++ b/include/klee/util/ArrayExprHash.h
@@ -132,4 +132,4 @@ void ArrayExprHash<T>::hashUpdateNodeExpr(const UpdateNode* un, T& exp)
 
 }
 
-#endif
\ No newline at end of file
+#endif
-- 
cgit 1.4.1