constants comparator extended to carlrationalnumber (cln/cl_ra)

Former-commit-id: a14c5c4092

src/utility/ConstantsComparator.cpp

@@ -114,6 +114,7 @@ namespace storm {
         template class ConstantsComparator<RationalFunction>;
         template class ConstantsComparator<Polynomial>;
         template class ConstantsComparator<Interval>;
+        template class ConstantsComparator<CarlRationalNumber>;
 #endif
     }
 }