From ca1a1083a8a9cce249dd46511072c00676a4c3d5 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Wed, 17 Oct 2018 22:26:09 +0100
Subject: Make valueOnly parameter of optimizeExpr explicit

avoid ambiguity of valueOnly parameter
---
 include/klee/ArrayExprOptimizer.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'include')

diff --git a/include/klee/ArrayExprOptimizer.h b/include/klee/ArrayExprOptimizer.h
index 2d8a9014..36c26484 100644
--- a/include/klee/ArrayExprOptimizer.h
+++ b/include/klee/ArrayExprOptimizer.h
@@ -72,8 +72,7 @@ private:
   unordered_map<unsigned, ref<Expr>> cacheReadExprOptimized;
 
 public:
-  void optimizeExpr(const ref<Expr> &e, ref<Expr> &result,
-                    bool valueOnly = false);
+  void optimizeExpr(const ref<Expr> &e, ref<Expr> &result, bool valueOnly);
 
 private:
   bool
-- 
cgit 1.4.1