From c5204e0485e7f6b777c1d2f9c7b8100ddc235236 Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Wed, 25 Mar 2015 08:44:50 +0200
Subject: [PATCH] Expected Haddock failure GaloisInc/cryptol#195

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index e95fc500..fa41725c 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1144,6 +1144,9 @@ 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.