From 788e612092b59ac51cf997e1b9d2baaa5c35e9f6 Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Tue, 3 May 2016 11:24:04 +0200
Subject: [PATCH] idris benchmarks have been fixed

---
 build-constraints.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 2f0b8ca3..660a66b8 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2762,7 +2762,6 @@ expected-benchmark-failures:
     - gitson
     - hashable
     - http-link-header
-    - idris
     - jose-jwt
     - lens
     - lucid