From 6eb846da9714dc63a8142cc266c046a52362c32f Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 17 Oct 2014 09:28:59 +0200
Subject: [PATCH] Fixed minor issue in constants comparator.
Former-commit-id: 4463bf41bc8620b65d87cb4533ec0913f2381f57
---
src/utility/ConstantsComparator.cpp | 3 +++
1 file changed, 3 insertions(+)
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);