From d7adcbff86fed94a83452e0f0b2562fe5d79f396 Mon Sep 17 00:00:00 2001
From: Alessio Faieta <29785188+alessiofaieta@users.noreply.github.com>
Date: Thu, 8 Oct 2026 11:25:55 +0200
Subject: [PATCH] Update recommended `ocaml` version

Code now uses the `Pair` standard library module, which was introduced in OCaml 5.4.0.
---
 spectec/README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spectec/README.md b/spectec/README.md
index bf88b51f0c..4ecee1f43e 100644
--- a/spectec/README.md
+++ b/spectec/README.md
@@ -107,9 +107,9 @@ You will need `ocaml` installed with `dune`, `menhir`, `mdx`, and the `zarith` l
   $ opam init
   ```
 
-* Set `ocaml` as version 5.1.0 or higher.
+* Set `ocaml` as version 5.4.0 or higher.
   ```
-  $ opam switch create 5.1.0
+  $ opam switch create 5.4.0
   ```
   
 * Install `dune` version 3.11.0, `menhir` version 20230608, `mdx` version 2.3.1, and `zarith` version 1.13, via `opam`