diff --git a/README.md b/README.md index 56da3bfa7..b6ecba22d 100644 --- a/README.md +++ b/README.md @@ -98,7 +98,6 @@ Ubuntu-based variant of WSL is recommended. 4. Install dependencies on system-wide external packages and `lama` itself after that. ```bash - opam depext Lama --yes opam install Lama --yes ```