diff --git a/Makefile b/Makefile index 336925d08..d284387cf 100644 --- a/Makefile +++ b/Makefile @@ -15,7 +15,7 @@ deps: ## Install development dependencies .PHONY: create_switch create_switch: - opam switch create . 4.14.0 --no-install + opam switch create . 5.2.0 --no-install .PHONY: switch switch: create_switch deps ## Create an opam switch and install development dependencies