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) {