From 96a1dc82d0a96720cd48e0c8a286f14881098f99 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 12 Dec 2019 15:22:08 +0000
Subject: Use call-by-reference for hash-function invocation

---
 include/klee/Expr/ExprHashMap.h | 4 +---
 1 file changed, 1 insertion(+), 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 {
-- 
cgit 1.4.1