From f92373c4ef7bb32732f1498a0f0ab529ada6c088 Mon Sep 17 00:00:00 2001
From: Javier Chavarri <javier.chavarri@gmail.com>
Date: Thu, 29 Aug 2024 14:33:31 +0000
Subject: [PATCH] update dev switch

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 8411bfc..f704359 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,7 @@ help: ## Print this help message
 
 .PHONY: create-switch
 create-switch: ## Create opam switch
-	opam switch create . 5.1.0~rc3 -y --deps-only
+	opam switch create . 5.2.0 -y --deps-only
 
 .PHONY: init
 init: create-switch install ## Configure everything to develop this repository in local