From 7f29467e4705bfd93b13e56faeeff873d1ce9677 Mon Sep 17 00:00:00 2001
From: Sirui Lu <siruilu@cs.washington.edu>
Date: Sat, 12 Apr 2025 22:21:37 -0700
Subject: [PATCH] Re-enable grisette

grisette-0.11.0.0 was broken with sbv >= 11.1. grisette-0.12.0.0 fixed the issue.
---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index c896155f..d305571f 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -45,7 +45,7 @@ packages:
         - mathlist
 
     "Sirui Lu <lsrcz@outlook.com> @lsrcz":
-        - grisette < 0 # 0.11.0.0 broken by sbv-11.1 https://github.com/lsrcz/grisette/issues/289
+        - grisette
 
     "Alexey Tochin <Alexey.Tochin@gmail.com> @alexeytochin":
         - simple-expr