diff --git a/Makefile b/Makefile index 9cf988a8..3512619a 100644 --- a/Makefile +++ b/Makefile @@ -58,7 +58,7 @@ install: ## Update the package dependencies when new deps are added to dune-proj .PHONY: init create-switch: ## Create a local opam switch - @opam switch create . 5.1.1 --no-install + @opam switch create . 5.2.0 --no-install .PHONY: init init: create-switch install ## Create a local opam switch, install deps