From a2b250ea3226920cad892ed0306b308a1a5cd0a9 Mon Sep 17 00:00:00 2001
From: Stephen Diehl <stephen.m.diehl@gmail.com>
Date: Fri, 17 Mar 2017 13:28:16 +0000
Subject: [PATCH] fix constraints for picosat

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 7346ca01..6c1b0ca1 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2468,7 +2468,7 @@ packages:
     "Stephen Diehl <stephen.m.diehl@gamil.com> @sdiehl":
         - protolude
         - repline
-        # - picosat  # https://github.com/sdiehl/haskell-picosat/issues/6
+        - picosat
 
     # "Daishi Nakajima <nakaji.dayo@gmail.com> @nakaji_dayo":
         # - yesod-job-queue # build failure https://github.com/nakaji-dayo/yesod-job-queue/issues/10