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: