From e24343516c4c49014d272a0841f619a0443533cb Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 17 Feb 2016 20:45:19 +0100
Subject: [PATCH] constants comparator extended to carlrationalnumber
 (cln/cl_ra)

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

diff --git a/src/utility/ConstantsComparator.cpp b/src/utility/ConstantsComparator.cpp
index 4ad0a2612..e22efbc5e 100644
--- a/src/utility/ConstantsComparator.cpp
+++ b/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
     }
 }
\ No newline at end of file