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);