From b787d6420ade7b734032bf2b78d400c2a50e4336 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 17 Dec 2014 10:05:12 +0100
Subject: [PATCH] Using correct carl::pow now.

Former-commit-id: 6540d6b5de9a33169210617ad375038a2c4d78a0
---
 src/utility/ConstantsComparator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/utility/ConstantsComparator.cpp b/src/utility/ConstantsComparator.cpp
index 48c9a74ed..366691ddd 100644
--- a/src/utility/ConstantsComparator.cpp
+++ b/src/utility/ConstantsComparator.cpp
@@ -74,7 +74,7 @@ namespace storm {
 #ifdef PARAMETRIC_SYSTEMS
         template<>
         RationalFunction pow(RationalFunction const& value, uint_fast64_t exponent) {
-            return carl::pow(exponent, value);
+            return carl::pow(value, exponent);
         }
 
         template<>