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.