fix compilation on < 5.xx

c-cube · Apr 23, 2024 · 0d7f348 · 0d7f348
1 parent 7ed2e69
commit 0d7f348
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/core/coop_lock.ml b/src/core/coop_lock.ml
@@ -23,6 +23,8 @@ let try_lock_ (self : 'a t) : 'a option =
   else
     None
 
+[@@@ifge 5.0]
+
 let rec lock_ (self : 'a t) : 'a =
   let old = A.get self.st in
   if old.locked then (
@@ -104,3 +106,5 @@ let with_try_lock self f =
       let bt = Printexc.get_raw_backtrace () in
       unlock_ self x;
       Printexc.raise_with_backtrace e bt)
+
+[@@@endif]