You need to sign in or sign up before continuing.
-
Marius Wachtler authored
this also workarounds the problem we were having on ubuntu 16.04 where we have to use std::isinf instead of isinf()
ccdbbaa7
this also workarounds the problem we were having on ubuntu 16.04 where we have to use std::isinf instead of isinf()