From e0b684c2f0b18840fad87a8e3b20def567dd8a53 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Mon, 26 Apr 2010 12:29:00 -0600 Subject: [PATCH] chkpt --- collects/schelog/schelog.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/schelog/schelog.rkt b/collects/schelog/schelog.rkt index 4086b1975c..4490c81bfb 100644 --- a/collects/schelog/schelog.rkt +++ b/collects/schelog/schelog.rkt @@ -213,8 +213,7 @@ (define %>= (make-binary-arithmetic-relation >=)) (define %< (make-binary-arithmetic-relation <)) (define %<= (make-binary-arithmetic-relation <=)) -(define %=/= (make-binary-arithmetic-relation - (lambda (m n) (not (= m n))))) +(define %=/= (make-binary-arithmetic-relation (compose not =))) ;type predicates