Using correct carl::pow now.

Former-commit-id: 6540d6b5de
10 years ago · b787d6420a
1 changed files with 1 additions and 1 deletions
--- 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<>