diff --git a/src/utility/ConstantsComparator.cpp b/src/utility/ConstantsComparator.cpp
index c83ee9583..fd5fc9383 100644
--- a/src/utility/ConstantsComparator.cpp
+++ b/src/utility/ConstantsComparator.cpp
@@ -133,6 +133,9 @@ namespace storm {
         template Polynomial one();
         template Polynomial zero();
 
+        template double simplify(double value);
+        template RationalFunction simplify(RationalFunction value);
+        
         template double& simplify(double& value);
         template RationalFunction& simplify(RationalFunction& value);