perf: detail in core

imandra-ai · Mar 7, 2024 · 4534b78 · 4534b78
1 parent 682c4fd
commit 4534b78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/rand_bytes.ml b/src/core/rand_bytes.ml
@@ -1,7 +1,7 @@
 (* generate random IDs *)
 let rand_ = Random.State.make_self_init ()
 
-let[@inline] ( let@ ) f x = f x
+let ( let@ ) = ( @@ )
 
 let default_rand_bytes_8 () : bytes =
   let@ () = Lock.with_lock in