diff --git a/README.md b/README.md index c45bc2da5c72a15b6394196590fe00c6ab3b4567..5c7966a9eaff4e7ba63303fbacb3fa4315e0e296 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ The command `make bundle` will create a relocalisable directory named ## Dependencies -In addition to the =Eclipse (CLP)= environment that is +In addition to the `Eclipse (CLP)` environment that is distributed within the bundle, the `colibri` solver relies on two auxiliary libraries: