From e99c9b32de9187b578942d9efb2f9157ae193adc Mon Sep 17 00:00:00 2001
From: Christian Rinderknecht <Christian.Rinderknecht@tezcore.com>
Date: Tue, 24 Dec 2019 17:35:43 +0100
Subject: [PATCH] Fixed the [dune] file for building [pascaligo/Unlexer.exe].

---
 src/passes/1-parser/pascaligo/dune | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/passes/1-parser/pascaligo/dune b/src/passes/1-parser/pascaligo/dune
index 9cf51de40..0735c2414 100644
--- a/src/passes/1-parser/pascaligo/dune
+++ b/src/passes/1-parser/pascaligo/dune
@@ -33,6 +33,7 @@
 
 (executable
   (name Unlexer)
+  (libraries str)
   (modules Unlexer))
 
 ;; Les deux directives (rule) qui suivent sont pour le dev local.