idris benchmarks have been fixed

This commit is contained in:
Adam Bergmark 2016-05-03 11:24:04 +02:00
parent 1f3de6a7c3
commit 788e612092

View File

@ -2762,7 +2762,6 @@ expected-benchmark-failures:
- gitson
- hashable
- http-link-header
- idris
- jose-jwt
- lens
- lucid