From 234b31684d250128bb0564e237f37409fa5af7e3 Mon Sep 17 00:00:00 2001
From: gbaz <gershomb@gmail.com>
Date: Fri, 27 May 2016 02:00:16 -0400
Subject: [PATCH] reenable boolsimplifier as it works with ghc 8

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 31357f17..89534041 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1130,8 +1130,7 @@ packages:
         # GHC 8 - jmacro-rpc-snap
         - mbox
         - kmeans
-        # Not compatible with GHC 7.10.2 (yes, it's a regression in GHC)
-        # - boolsimplifier
+        - boolsimplifier
         # GHC 8 - cubicspline
         - maximal-cliques