From 9c212ccfda2f44c563df98f23f68d84b8b69c650 Mon Sep 17 00:00:00 2001
From: Joshua Moerman <joshua.moerman@ou.nl>
Date: Wed, 12 Jul 2023 21:32:43 +0200
Subject: [PATCH] Revert previous workaround, as NLambda is now updated

---
 nominal-lstar.cabal | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/nominal-lstar.cabal b/nominal-lstar.cabal
index 0ef3d0b..c6da77e 100644
--- a/nominal-lstar.cabal
+++ b/nominal-lstar.cabal
@@ -10,10 +10,9 @@ common stuff
   default-language:  Haskell2010
   ghc-options:       -O2 -Wall
   build-depends:
-    -- at most 4.17: one transitive dependency breaks with more recent base
-    base >= 4.8 && < 4.17,
+    base >= 4.8 && < 5,
     haskeline,
-    NLambda >= 1.1
+    NLambda >= 1.1.1
 
 library
   import: stuff