From 6874672f5c6898ed119d44ac1b79822a897e182f Mon Sep 17 00:00:00 2001
From: Rudy Matela <rudy@matela.com.br>
Date: Mon, 12 May 2025 15:56:44 +0200
Subject: [PATCH] remove expected failure from leancheck-instances

... as this has been fixed in version 0.0.8
---
 build-constraints.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 74ccc405..e986ebd7 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -8541,7 +8541,6 @@ expected-test-failures:
     - heist # GHC 9.8.1
     - hweblib # 0.6.3 https://github.com/aycanirican/hweblib/issues/3
     - inline-r # 1.0.1 https://github.com/tweag/HaskellR/issues/371
-    - leancheck-instances # 0.0.5 https://github.com/rudymatela/leancheck-instances/issues/3
     - leveldb-haskell
     - lifted-base # 0.2.3.12 compile fail
     - mfsolve # https://github.com/commercialhaskell/stackage/issues/6379