fix warning

This commit is contained in:
Simon Cruanes 2022-09-16 17:00:46 -04:00
parent 35d1782c72
commit 6bdf351313
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -67,5 +67,5 @@ let with_ self v f =
restore_ (); restore_ ();
res res
with e -> with e ->
(restore_ [@inlined]) (); restore_ ();
raise e raise e