diff --git a/src/storm/adapters/Smt2ExpressionAdapter.h b/src/storm/adapters/Smt2ExpressionAdapter.h
index f1b96b71e..5abaf290d 100644
--- a/src/storm/adapters/Smt2ExpressionAdapter.h
+++ b/src/storm/adapters/Smt2ExpressionAdapter.h
@@ -133,7 +133,7 @@ namespace storm {
                         STORM_LOG_DEBUG("Declaring the variable " + variableString);
                         declaredVariables.back().insert(variableString);
                         std::string varDeclaration = "( declare-fun " + variableString + " () ";
-                        switch (variableToCheck.getType()){
+                        switch (variableToCheck.type()){
                             case carl::VariableType::VT_BOOL:
                                 varDeclaration += "Bool";
                                 break;
diff --git a/src/storm/solver/SmtlibSmtSolver.cpp b/src/storm/solver/SmtlibSmtSolver.cpp
index 69394ec8a..aad46d81e 100644
--- a/src/storm/solver/SmtlibSmtSolver.cpp
+++ b/src/storm/solver/SmtlibSmtSolver.cpp
@@ -103,7 +103,7 @@ namespace storm {
         }
         
         void SmtlibSmtSolver::add(const storm::RationalFunctionVariable& variable, bool value){
-            STORM_LOG_THROW((variable.getType()==carl::VariableType::VT_BOOL), storm::exceptions::IllegalArgumentException, "Tried to add a constraint that consists of a non-boolean variable.");
+            STORM_LOG_THROW((variable.type()==carl::VariableType::VT_BOOL), storm::exceptions::IllegalArgumentException, "Tried to add a constraint that consists of a non-boolean variable.");
             std::set<storm::RationalFunctionVariable> variableSet;
             variableSet.insert(variable);
             std::vector<std::string> const varDeclarations = expressionAdapter->checkForUndeclaredVariables(variableSet);