From 79d12a4b6fad78caebca5b9aebdda2a882d27134 Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 19 Aug 2015 04:44:33 +0300 Subject: [PATCH] C(osmetics|onsistency) --- main.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/main.ml b/main.ml index 586ef40..71e91cb 100644 --- a/main.ml +++ b/main.ml @@ -4243,8 +4243,7 @@ let getusertext s = Printf.sprintf "popen(%S) failed: %s" execstr (exntos exn); E.s | pid -> - match Unix.waitpid [] pid - with + match Unix.waitpid [] pid with | (exception exn) -> showtext '!' @@ Printf.sprintf "waitpid(%d) failed: %s" pid (exntos exn); -- 2.11.4.GIT