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.