From 1e3686480a63b1fa2baa601c31732d66e13765f9 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 25 Jun 2019 17:10:34 +0200
Subject: [PATCH] is_equal_to_one() is not used in Boost 1.70

---
 src/storm-parsers/parser/ExpressionParser.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm-parsers/parser/ExpressionParser.cpp b/src/storm-parsers/parser/ExpressionParser.cpp
index 0596b1b4e..481274b13 100644
--- a/src/storm-parsers/parser/ExpressionParser.cpp
+++ b/src/storm-parsers/parser/ExpressionParser.cpp
@@ -21,10 +21,12 @@ namespace boost {
                 return true;
             }
             
+#if BOOST_VERSION < 107000
             template<>
             bool is_equal_to_one(storm::RationalNumber const& value) {
                 return storm::utility::isOne(value);
             }
+#endif
             
             template<>
             storm::RationalNumber negate(bool neg, storm::RationalNumber const& number) {