Browse Source

is_equal_to_one() is not used in Boost 1.70

tempestpy_adaptions
Matthias Volk 5 years ago
parent
commit
1e3686480a
  1. 2
      src/storm-parsers/parser/ExpressionParser.cpp

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

Loading…
Cancel
Save