@@ -1140,9 +1140,6 @@ expected-haddock-failures:
1140 # builds. Could consider special-casing this requirement.
1140 # builds. Could consider special-casing this requirement.
1143− # https://github.com/GaloisInc/cryptol/issues/195
1146# Benchmarks which should not be built. Note that Stackage does *not* generally
1143# Benchmarks which should not be built. Note that Stackage does *not* generally
1147# build benchmarks. The difference here will be whether dependencies for these
1144# build benchmarks. The difference here will be whether dependencies for these
1148# benchmarks are included or not.
1145# benchmarks are included or not.