annoying warning in smtlibsolver

Former-commit-id: 3152de0f2d [formerly e79b858bce] Former-commit-id: a3c2202cd0
9 years ago · 423c616432
2 changed files with 2 additions and 2 deletions
--- 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.
        }

--- 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: