From 400baf01c60ad0bf3cfb140964d97d6b5130b850 Mon Sep 17 00:00:00 2001 From: Chris Dornan Date: Fri, 16 Oct 2020 07:24:23 +0100 Subject: [PATCH] remove egison restrictions --- build-constraints.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 858714b9..5167e8db 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -4293,9 +4293,9 @@ packages: "Satoshi Egi @egisatoshi": - backtracking - - egison < 4.1.0 # https://github.com/egison/egison/issues/248 + - egison - mini-egison - # - sweet-egison + - sweet-egison - egison-pattern-src - egison-pattern-src-th-mode