From 84a90d1ff3853c1b5a96ceb29e1ffbddaf0c7f97 Mon Sep 17 00:00:00 2001 From: Roman Venediktov Date: Thu, 11 Jul 2024 13:04:51 +0200 Subject: [PATCH] Fix commands README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b6ecba22d..2b73398e3 100644 --- a/README.md +++ b/README.md @@ -73,7 +73,7 @@ Ubuntu-based variant of WSL is recommended. * In the above command: - `opam switch create` is a subcommand to create a new switch - - `ocaml-variants.4.10.1+flambda` is the name of a standard template for the switch + - `ocaml-variants.4.14.0+options` is the name of a standard template for the switch - `lama` is an alias for the switch being created; on success a directory `$(HOME)/.opam/lama` should be created 2. Update PATH variable for the fresh switch. (You can add these commands to your `~/.bashrc` for convenience but they should be added by `opam`)