2 files changed, 3 insertions, 3 deletions
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>