From 2e7ac7029ba64ba9ced9722e3ba7070a44ec510a Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas.franceschino@inria.fr>
Date: Thu, 13 Jun 2024 12:09:59 +0200
Subject: [PATCH] fix(engine): pin OCaml version

---
 engine/dune-project    | 2 +-
 engine/hax-engine.opam | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/engine/dune-project b/engine/dune-project
index 77c89a50f..8dd37eddb 100644
--- a/engine/dune-project
+++ b/engine/dune-project
@@ -20,7 +20,7 @@
  (synopsis "The engine of hax, a Rust verification tool")
  (description "Hax is divided in two: a frontend (written in Rust) and an engine (written in OCaml). This is the engine.")
  (depends
-        ocaml
+        (ocaml (= "5.1.1"))
         dune
         (base                (= "0.16"))
         (core                (= "0.16"))
diff --git a/engine/hax-engine.opam b/engine/hax-engine.opam
index 4a279b26e..2442521e9 100644
--- a/engine/hax-engine.opam
+++ b/engine/hax-engine.opam
@@ -11,7 +11,7 @@ homepage: "https://github.com/hacspec/hax"
 doc: "https://hacspec.org/hax/"
 bug-reports: "https://github.com/hacspec/hax/issues"
 depends: [
-  "ocaml"
+  "ocaml" {= "5.1.1"}
   "dune" {>= "3.0"}
   "base" {= "0.16"}
   "core" {= "0.16"}