From 9c20bccbfc0eee99d6655c46586e3bfb4b5e1741 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 22 Feb 2021 14:41:56 +0000 Subject: [PATCH] Compile fix for CUDD (finite -> isfinite). Previously marked as deprecated, but now giving compiler errors, e.g., on new Mac installs. --- cudd/cudd/cuddTable.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cudd/cudd/cuddTable.c b/cudd/cudd/cuddTable.c index fb855b31..0c70d316 100644 --- a/cudd/cudd/cuddTable.c +++ b/cudd/cudd/cuddTable.c @@ -1477,7 +1477,7 @@ static double truncateDoubleConstant(double value) // (round off before doing hash function to ensure // close valued constants are in the same table) - if (finite(value)) { + if (isfinite(value)) { trunc = 10000000000.0; // 10^10 m = value * trunc; n = floor(m);