From 761cc7b6b49dfd50a1afb23ab9870601e363ac9e Mon Sep 17 00:00:00 2001
From: Dan Burton <danburton.email@gmail.com>
Date: Thu, 27 Aug 2020 23:43:50 -0400
Subject: [PATCH] liquid-fixpoint might pass tests now with new z3

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index e712a5a6..a65662ac 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -5638,7 +5638,6 @@ expected-test-failures:
     - haskeline # https://github.com/commercialhaskell/stackage/issues/5439
     - character-cases # https://github.com/aiya000/hs-character-cases/issues/3
     - lz4-frame-conduit # https://github.com/nh2/lz4-frame-conduit/issues/3
-    - liquid-fixpoint # TODO: DanBurton
 
     # Compilation failures
     - ListLike # No issue tracker, e-mail sent to maintainer