From 6c4762b9dec2285789ebc2f4b15b8993cdbb8729 Mon Sep 17 00:00:00 2001
From: Dulma Churchill <dulmarod@fb.com>
Date: Tue, 6 Sep 2016 06:57:32 -0700
Subject: [PATCH] Remove compilation warning

Reviewed By: jberdine

Differential Revision: D3821408

fbshipit-source-id: ec41f6c
---
 infer/src/backend/Process.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/Process.ml b/infer/src/backend/Process.ml
index f720a541d..8c86ad92b 100644
--- a/infer/src/backend/Process.ml
+++ b/infer/src/backend/Process.ml
@@ -59,7 +59,7 @@ let print_status f pid (status : Unix. process_status) =
      | WSIGNALED signal ->
          Logging.err "%s killed by signal %d\n%!" program signal
      | WSTOPPED _ ->
-         Logging.err "%s stopped (???)\n%!" program);
+         Logging.err "%s stopped \n%!" program);
   Logging.stdout ".%!"
 
 let start_current_jobs_count () = ref 0