From e42839b4c47de99829b657272816c4ab68ac90cd Mon Sep 17 00:00:00 2001 From: Pavel Panchekha Date: Thu, 19 Dec 2013 23:03:10 -0500 Subject: [PATCH] Simple cleanup. --- casio/main.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/casio/main.rkt b/casio/main.rkt index 74218b522..f2a3b65eb 100644 --- a/casio/main.rkt +++ b/casio/main.rkt @@ -149,9 +149,9 @@ (let loop ([max-err 0] [specials 0] [errors errors]) (if (null? errors) (values max-err specials) - (if (or (infinite? (car errors)) (nan? (car errors))) - (loop max-err (+ specials 1) (cdr errors)) - (loop (max max-err (car errors)) specials (cdr errors))))))) + (if (ordinary-float? (car errors)) + (loop (max max-err (car errors)) specials (cdr errors)) + (loop max-err (+ specials 1) (cdr errors))))))) ;; Our main synthesis tool generates alternatives to an expression uses recursive rewrite tools