From 7936df8e0bcd9b8ea1009b5f52da096c9c6bd8ea Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 30 Mar 2020 12:20:47 -0700 Subject: [PATCH] pass std::function as const aliases Signed-off-by: Lev Nachmanson --- src/math/lp/lar_solver.cpp | 2 +- src/math/lp/lar_solver.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp index 01f409cad..1f7fb0c2c 100644 --- a/src/math/lp/lar_solver.cpp +++ b/src/math/lp/lar_solver.cpp @@ -2389,7 +2389,7 @@ bool lar_solver::inside_bounds(lpvar j, const impq& val) const { return true; } -bool lar_solver::try_to_patch(lpvar j, const mpq& val, std::function blocker, std::function report_change) { +bool lar_solver::try_to_patch(lpvar j, const mpq& val, const std::function& blocker, const std::function& report_change) { if (is_base(j)) { bool r = remove_from_basis(j); SASSERT(r); diff --git a/src/math/lp/lar_solver.h b/src/math/lp/lar_solver.h index 9e5f3d852..2c979d813 100644 --- a/src/math/lp/lar_solver.h +++ b/src/math/lp/lar_solver.h @@ -641,7 +641,7 @@ public: void register_normalized_term(const lar_term&, lpvar); void deregister_normalized_term(const lar_term&); bool fetch_normalized_term_column(const lar_term& t, std::pair& ) const; - bool try_to_patch(lpvar, const mpq&, std::function blocker, std::function change_report); + bool try_to_patch(lpvar, const mpq&, const std::function& blocker,const std::function& change_report); bool inside_bounds(lpvar, const impq&) const; }; }