From 0c32989144709ca7fddff62737990a05b4d22242 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 20 Jun 2018 15:07:21 -0700 Subject: [PATCH] change to const qualifier on constructor Signed-off-by: Nikolaj Bjorner --- src/opt/maxsmt.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/opt/maxsmt.h b/src/opt/maxsmt.h index de38baf32..b61d876b3 100644 --- a/src/opt/maxsmt.h +++ b/src/opt/maxsmt.h @@ -60,7 +60,7 @@ namespace opt { expr_ref s; rational weight; bool is_true; - soft(expr_ref& s, rational const& w, bool t): s(s), weight(w), is_true(t) {} + soft(expr_ref const& s, rational const& w, bool t): s(s), weight(w), is_true(t) {} soft(soft const& other):s(other.s), weight(other.weight), is_true(other.is_true) {} soft& operator=(soft const& other) { s = other.s; weight = other.weight; is_true = other.is_true; return *this; } };