Fixed deprecated getType()

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;

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);