Fixed the [dune] file for building [pascaligo/Unlexer.exe].

2019-12-24 17:35:43 +01:00 · 2019-12-24 17:35:43 +01:00 · e99c9b32de
commit e99c9b32de
parent 7b9b6866b2
1 changed files with 1 additions and 0 deletions
--- 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.