From 54077446ca773f6503fd0f1388a91746c5f9edab Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 7 Dec 2023 00:14:16 -0500
Subject: [PATCH] require ocaml 4.08, compat with containers 3.13

---
 dune-project     | 1 +
 sidekick.opam    | 1 +
 src/main/main.ml | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/dune-project b/dune-project
index db87e215..a21f7d7c 100644
--- a/dune-project
+++ b/dune-project
@@ -27,6 +27,7 @@
    (and
     (>= 3.6)
     (< 4.0)))
+  (ocaml (>= 4.08))
   (iter
    (>= 1.0))
   (trace (>= 0.3))
diff --git a/sidekick.opam b/sidekick.opam
index db0a9397..e5a1248f 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -11,6 +11,7 @@ bug-reports: "https://github.com/c-cube/sidekick/issues/"
 depends: [
   "dune" {>= "2.0"}
   "containers" {>= "3.6" & < "4.0"}
+  "ocaml" {>= "4.08"}
   "iter" {>= "1.0"}
   "trace" {>= "0.3"}
   "zarith" {with-test}
diff --git a/src/main/main.ml b/src/main/main.ml
index ae76d0b2..5569a646 100644
--- a/src/main/main.ml
+++ b/src/main/main.ml
@@ -293,7 +293,7 @@ let () =
     let exit_ n =
       if Printexc.backtrace_status () then
         Format.fprintf Format.std_formatter "%s@." b;
-      CCShims_.Stdlib.exit n
+      Stdlib.exit n
     in
     (match e with
     | Error.Error msg ->