From 32892a0c836c6153808e2c821b86b5d36db51cbf Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 30 May 2019 17:12:30 +0100
Subject: Remove parenthesis around returns, as reported and discussed in #891

---
 include/klee/SolverImpl.h         | 2 +-
 include/klee/util/ArrayExprHash.h | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'include')

diff --git a/include/klee/SolverImpl.h b/include/klee/SolverImpl.h
index 6ea06e2a..e1b1f3d2 100644
--- a/include/klee/SolverImpl.h
+++ b/include/klee/SolverImpl.h
@@ -103,7 +103,7 @@ namespace klee {
 
     virtual char *getConstraintLog(const Query& query)  {
         // dummy
-        return(NULL);
+        return nullptr;
     }
 
     virtual void setCoreSolverTimeout(time::Span timeout) {};
diff --git a/include/klee/util/ArrayExprHash.h b/include/klee/util/ArrayExprHash.h
index 32a6fc1a..e353881f 100644
--- a/include/klee/util/ArrayExprHash.h
+++ b/include/klee/util/ArrayExprHash.h
@@ -88,7 +88,7 @@ bool ArrayExprHash<T>::lookupArrayExpr(const Array* array, T& exp) const {
     exp = it->second;
     res = true;
   }  
-  return(res);  
+  return res;
 }
 
 template<class T>
@@ -117,7 +117,7 @@ bool ArrayExprHash<T>::lookupUpdateNodeExpr(const UpdateNode* un, T& exp) const
     exp = it->second;
     res = true;
   }  
-  return(res);   
+  return res;
 }
 
 template<class T>
-- 
cgit 1.4.1