From 6bdf35131304e7fd8fa6caa3e80849bdf0b8d2bd Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 16 Sep 2022 17:00:46 -0400 Subject: [PATCH] fix warning --- src/thread_local.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/thread_local.ml b/src/thread_local.ml index d7b0c296..21db1626 100644 --- a/src/thread_local.ml +++ b/src/thread_local.ml @@ -67,5 +67,5 @@ let with_ self v f = restore_ (); res with e -> - (restore_ [@inlined]) (); + restore_ (); raise e