From 2c94de76a39f9fbe91d01dcce2145419dbbd8e21 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 28 Dec 2020 14:42:08 -0800 Subject: [PATCH] kw nit --- csp/csp/hacs-test.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/csp/csp/hacs-test.rkt b/csp/csp/hacs-test.rkt index b69c7f31..ac2e86dd 100644 --- a/csp/csp/hacs-test.rkt +++ b/csp/csp/hacs-test.rkt @@ -221,7 +221,7 @@ (add-vars! zebra ps '(dogs snails foxes horses zebra)) (for ([vars (list ns cs ds ss ps)]) - (add-all-diff-constraint! zebra vars #:proc eq?)) + (add-all-diff-constraint! zebra vars #:same eq?)) (define (xnor lcond rcond) (or (and lcond rcond) (and (not lcond) (not rcond))))