From f83a12ab4ebe3ad247a823e62d631d930b823b09 Mon Sep 17 00:00:00 2001
From: Chris Dornan <chris@chrisdornan.com>
Date: Thu, 15 Oct 2020 21:10:41 +0100
Subject: [PATCH] revert to egison-4.0.3

---
 build-constraints.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 5167e8db..858714b9 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4293,9 +4293,9 @@ packages:
 
     "Satoshi Egi <egi@egison.org> @egisatoshi":
         - backtracking
-        - egison
+        - egison < 4.1.0      # https://github.com/egison/egison/issues/248
         - mini-egison
-        - sweet-egison
+      # - sweet-egison
         - egison-pattern-src
         - egison-pattern-src-th-mode