This commit is contained in:
Simon Cruanes 2017-12-24 17:07:59 +01:00
parent 787c9ad5d1
commit f6b3a7addf
2 changed files with 2 additions and 2 deletions

View file

@ -18,4 +18,4 @@ PKG threads
PKG threads.posix PKG threads.posix
PKG lwt PKG lwt
PKG qcheck PKG qcheck
FLG -w +a-4-44-48-60 FLG -w +a-4-44-48-60@8

View file

@ -944,7 +944,7 @@ let all_ok l =
try try
Result.Ok Result.Ok
(map (map
(function Result.Ok x -> x | Error e -> err := Some e; raise Exit) (function Result.Ok x -> x | Result.Error e -> err := Some e; raise Exit)
l) l)
with Exit -> with Exit ->
begin match !err with begin match !err with