diff --git a/README.md b/README.md index a91fb4403db17f0a462eb34cf7ef62562b1a404e..9adc844d7263ede842a8b13318d4f9d34019f18b 100644 --- a/README.md +++ b/README.md @@ -22,8 +22,8 @@ of the dependencies. ## Updating After doing `git pull`, the development may fail to compile because of outdated -dependencies. To fix that, please run `opam update` followed by `make -build-dep`. +dependencies. To fix that, please run `opam update` followed by +`make build-dep`. ## Building Instructions