oops

csp/csp/hacs.rkt

@@ -523,8 +523,10 @@
                              [prob (reduce-arity-proc prob)]
                              [prob (inference prob name)]
                              [prob (check-constraints prob)])
-                        (loop prob)))
-                    conflicts)]))))
+                        (loop prob))
+                      ;; conflicts goes inside the handler expression
+                      ;; so raises can supersede it
+                      conflicts))]))))
 
 (define/contract (random-pick xs)
   ((non-empty-listof any/c) . -> . any/c)