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