From 7d207ebd08ffe7daa26c8abd17f940311a148bff Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Thu, 26 Mar 2015 07:57:14 +0200
Subject: [PATCH] Remove skipped Haddock and close #195

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 74c96a4c..6638c27b 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1140,9 +1140,6 @@ expected-haddock-failures:
     # builds. Could consider special-casing this requirement.
     - gtk
 
-    # https://github.com/GaloisInc/cryptol/issues/195
-    - cryptol
-
 # Benchmarks which should not be built. Note that Stackage does *not* generally
 # build benchmarks. The difference here will be whether dependencies for these
 # benchmarks are included or not.