1 files changed, 1 insertions, 3 deletions
diff --git a/include/klee/Expr/ExprHashMap.h b/include/klee/Expr/ExprHashMap.h
index 0143668d..562935a9 100644
--- a/include/klee/Expr/ExprHashMap.h
+++ b/include/klee/Expr/ExprHashMap.h
@@ -19,9 +19,7 @@ namespace klee {
 
   namespace util {
     struct ExprHash  {
-      unsigned operator()(const ref<Expr> e) const {
-        return e->hash();
-      }
+      unsigned operator()(const ref<Expr> &e) const { return e->hash(); }
     };
     
     struct ExprCmp {