Browse Source

remove debug output

tempestpy_adaptions
dehnert 7 years ago
parent
commit
f7c803827b
  1. 2
      resources/3rdparty/sylvan/src/storm_wrapper.cpp

2
resources/3rdparty/sylvan/src/storm_wrapper.cpp

@ -125,8 +125,6 @@ int storm_rational_number_is_zero(storm_rational_number_ptr a) {
std::lock_guard<std::mutex> lock(rationalNumberMutex); std::lock_guard<std::mutex> lock(rationalNumberMutex);
#endif #endif
std::cout << "got ptr for eq check " << a << std::endl;
return storm::utility::isZero(*(storm::RationalNumber const*)a) ? 1 : 0; return storm::utility::isZero(*(storm::RationalNumber const*)a) ? 1 : 0;
} }

Loading…
Cancel
Save