From 23068062dab5b397e8b032b62f6fbd0acf91ab2a Mon Sep 17 00:00:00 2001
From: mikkonecny <mikkonecny@gmail.com>
Date: Wed, 26 May 2021 15:11:27 +0100
Subject: [PATCH] add aern2-real

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 67731459..88bc9277 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3335,7 +3335,7 @@ packages:
         - mixed-types-num
         - cdar-mBound
         - aern2-mp
-        #  - aern2-real
+        - aern2-real
 
     "Bartosz Nitka <niteria@gmail.com> @niteria":
         - oeis < 0 # via test-framework