From 7958e139f252cdb15dca1883b990995a4068240c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 8 Dec 2023 10:21:15 +0100
Subject: [PATCH] Update .github/workflows/doc.yml

---
 .github/workflows/doc.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index fdea90731..21d39c19d 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -25,7 +25,7 @@ jobs:
     - name: setup ocaml
       uses: avsm/setup-ocaml@v1
       with:
-        ocaml-version: 4.10.1
+        ocaml-version: 4.09.1
 
     - name: install deps
       run: |