From 0089212b7e9075e8ae389f6bfd9c55faa8234b54 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Tue, 10 Nov 2015 13:06:35 +0100
Subject: [PATCH] adaptation to recent changes in carl

Former-commit-id: 90535a0d669bb476fa5fa630956f5889c32ea253
---
 src/storage/expressions/ToRationalFunctionVisitor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/expressions/ToRationalFunctionVisitor.cpp b/src/storage/expressions/ToRationalFunctionVisitor.cpp
index 5740cc66d..d2d86b716 100644
--- a/src/storage/expressions/ToRationalFunctionVisitor.cpp
+++ b/src/storage/expressions/ToRationalFunctionVisitor.cpp
@@ -65,7 +65,7 @@ namespace storm {
             if (variablePair != variableToVariableMap.end()) {
                 return convertVariableToPolynomial(variablePair->second);
             } else {
-                carl::Variable carlVariable = carl::VariablePool::getInstance().getFreshVariable(expression.getVariableName());
+                carl::Variable carlVariable = carl::freshVariable(expression.getVariableName(), carl::VariableType::VT_REAL);
                 variableToVariableMap.emplace(expression.getVariable(), carlVariable);
                 return convertVariableToPolynomial(carlVariable);
             }