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