From 03879aa778bb1c8e422d94d795e7ec028bab9e68 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sat, 23 Nov 2013 14:51:56 +0000
Subject: [PATCH] fix isfinite

---
 C/scanner.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/scanner.c b/C/scanner.c
index 988b81d08..8b10744f0 100644
--- a/C/scanner.c
+++ b/C/scanner.c
@@ -237,7 +237,7 @@ float_send(char *s, int sign)
 {
   GET_LD
     Float f = (Float)(sign*atof(s));
-#if HAVE_ISFINITE
+#if HAVE_ISFINITE || defined(isfinite)
   if (truePrologFlag(PLFLAG_ISO)) { /* iso */
     if (!isfinite(f)) {
       LOCAL_ErrorMessage = "Float overflow while scanning";