From 7dbc13365cec9f049fbddbcf2a36797ce9904d78 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 1 Sep 2023 14:51:46 +0000
Subject: [PATCH] improve frama-clang plug-in page

---
 _fc-plugins/frama-clang.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_fc-plugins/frama-clang.md b/_fc-plugins/frama-clang.md
index ddaae25b..7d8cb2d7 100644
--- a/_fc-plugins/frama-clang.md
+++ b/_fc-plugins/frama-clang.md
@@ -53,7 +53,7 @@ whose `master` branch should always be synchronized with Frama-C's own `master`
 ### Requirements
 
 - Frama-C 27.x Cobalt
-- OCaml 4.08.0 or higher, the same version as the one used to
+- OCaml, same version as the one used to
 compile Frama-C itself
 - camlp5 (a version compatible with the OCaml version you're using)
 - clang and libclang >= 11
-- 
GitLab