From 08cb25c28cf1672611d26e5bf62236a4e0f20195 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Sun, 24 May 2020 11:07:16 -0700 Subject: [PATCH] to be sure: z3model by const reference --- src/storm/solver/Z3SmtSolver.cpp | 2 +- src/storm/solver/Z3SmtSolver.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/solver/Z3SmtSolver.cpp b/src/storm/solver/Z3SmtSolver.cpp index 7d3745fa7..12cbb3e8b 100644 --- a/src/storm/solver/Z3SmtSolver.cpp +++ b/src/storm/solver/Z3SmtSolver.cpp @@ -7,7 +7,7 @@ namespace storm { namespace solver { #ifdef STORM_HAVE_Z3 - Z3SmtSolver::Z3ModelReference::Z3ModelReference(storm::expressions::ExpressionManager const& manager, z3::model model, storm::adapters::Z3ExpressionAdapter& expressionAdapter) : ModelReference(manager), model(model), expressionAdapter(expressionAdapter) { + Z3SmtSolver::Z3ModelReference::Z3ModelReference(storm::expressions::ExpressionManager const& manager, z3::model const& model, storm::adapters::Z3ExpressionAdapter& expressionAdapter) : ModelReference(manager), model(model), expressionAdapter(expressionAdapter) { // Intentionally left empty. } #endif diff --git a/src/storm/solver/Z3SmtSolver.h b/src/storm/solver/Z3SmtSolver.h index fe92299a7..471ada9c7 100644 --- a/src/storm/solver/Z3SmtSolver.h +++ b/src/storm/solver/Z3SmtSolver.h @@ -17,7 +17,7 @@ namespace storm { class Z3ModelReference : public SmtSolver::ModelReference { public: #ifdef STORM_HAVE_Z3 - Z3ModelReference(storm::expressions::ExpressionManager const& manager, z3::model m, storm::adapters::Z3ExpressionAdapter& expressionAdapter); + Z3ModelReference(storm::expressions::ExpressionManager const& manager, z3::model const& m, storm::adapters::Z3ExpressionAdapter& expressionAdapter); #endif virtual bool getBooleanValue(storm::expressions::Variable const& variable) const override; virtual int_fast64_t getIntegerValue(storm::expressions::Variable const& variable) const override;