From 423c616432d337efa0781ef5bcefa6a8c3552d65 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Sat, 17 Sep 2016 13:49:58 +0200
Subject: [PATCH] annoying warning in smtlibsolver
Former-commit-id: 3152de0f2ddd4f2e24b2760a2b60ad6d5d857faa [formerly e79b858bcee50df63e15b504caccfe60920b1515]
Former-commit-id: a3c2202cd07aca2b6c69e14187a36341705aa8fc
---
src/solver/SmtlibSmtSolver.cpp | 2 +-
src/solver/SmtlibSmtSolver.h | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/solver/SmtlibSmtSolver.cpp b/src/solver/SmtlibSmtSolver.cpp
index fbc852749..e75f7d08d 100644
--- a/src/solver/SmtlibSmtSolver.cpp
+++ b/src/solver/SmtlibSmtSolver.cpp
@@ -23,7 +23,7 @@
namespace storm {
namespace solver {
- SmtlibSmtSolver::SmtlibModelReference::SmtlibModelReference(storm::expressions::ExpressionManager const& manager, storm::adapters::Smt2ExpressionAdapter& expressionAdapter) : ModelReference(manager), expressionAdapter(expressionAdapter){
+ SmtlibSmtSolver::SmtlibModelReference::SmtlibModelReference(storm::expressions::ExpressionManager const& manager, storm::adapters::Smt2ExpressionAdapter& expressionAdapter) : ModelReference(manager) {
// Intentionally left empty.
}
diff --git a/src/solver/SmtlibSmtSolver.h b/src/solver/SmtlibSmtSolver.h
index 4974aa0c4..1606df41f 100644
--- a/src/solver/SmtlibSmtSolver.h
+++ b/src/solver/SmtlibSmtSolver.h
@@ -30,7 +30,7 @@ namespace storm {
private:
// The expression adapter that is used to translate the variable names.
- storm::adapters::Smt2ExpressionAdapter& expressionAdapter;
+ //storm::adapters::Smt2ExpressionAdapter& expressionAdapter;
};
public: