Commit 28d9a006c64dcc3e831f8a5149eed0739a89df12

Bruno Haible 2007-10-29T04:23:19

Use REPLACE_ISFINITE instead of HAVE_DECL_ISFINITE.