From cb4644cf80ed297c8052744d74090bd31cbd67d1 Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Fri, 19 Oct 2018 00:18:20 -0700
Subject: [PATCH] give

---
 csp/hacs.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/csp/hacs.rkt b/csp/hacs.rkt
index 56c8a834..2fb90d0b 100644
--- a/csp/hacs.rkt
+++ b/csp/hacs.rkt
@@ -161,7 +161,7 @@
                  [#false (yield csp)]
                  [($var name vals _ _)
                   (for/fold ([conflicts null]
-                             #:result (void))
+                             #:result (void conflicts))
                             ([val (in-list (order-domain-values vals))])
                     (with-handlers ([inconsistency-signal?
                                      (λ (sig)
@@ -202,7 +202,7 @@
                                ($constraint '(x z) <>)
                                ($constraint '(y z) <>)))))) 6)
 
-#;(parameterize ([current-inference forward-check])
+(parameterize ([current-inference forward-check])
     (define vds (for/list ([k '(wa nsw t q nt v sa)])
                   (+$var k '(red green blue))))
     (define cs (list