From 9db9db54219876d92786667662798f861f6ab59a Mon Sep 17 00:00:00 2001
From: lIlIlIlIIIIlIIIllIIlIllIIllIII
 <90894311+lIlIlIlIIIIlIIIllIIlIllIIllIII@users.noreply.github.com>
Date: Mon, 6 Jun 2022 11:46:21 +0200
Subject: [PATCH] changed sedlex

---
 .nix/catala.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.nix/catala.nix b/.nix/catala.nix
index 85e7ad8c..45cd4d41 100644
--- a/.nix/catala.nix
+++ b/.nix/catala.nix
@@ -3,7 +3,7 @@
 , fetchFromGitHub
 , buildDunePackage
 , ansiterminal
-, sedlex_2
+, sedlex
 , menhir
 , unionfind
 , bindlib
@@ -39,7 +39,7 @@ buildDunePackage rec {
 
   propagatedBuildInputs = [
     ansiterminal
-    sedlex_2
+    sedlex
     menhir
     menhirLib
     cmdliner_1_1_0