From 8611bc166af6d9a159e92366b62991d8107d81f1 Mon Sep 17 00:00:00 2001
From: Luke Murphy <lukewm@riseup.net>
Date: Tue, 12 Sep 2017 11:59:57 +0200
Subject: [PATCH] Re-enable haddocks for Adga.

Closes https://github.com/agda/agda/issues/2748#issuecomment-328804066.
---
 build-constraints.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 9cc45635..092d2703 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3907,7 +3907,6 @@ expected-haddock-failures:
     - MemoTrie # https://github.com/conal/MemoTrie/issues/10
     - text-generic-pretty # https://github.com/fpco/stackage/pull/2160
     - cubicbezier # https://github.com/kuribas/cubicbezier/issues/4
-    - Agda # https://github.com/agda/agda/issues/2748
 
     # Haddock bugs
     - swagger2 # https://github.com/GetShopTV/swagger2/issues/66