From b9b3935191cae5c1d8b592742ea46a2e1b525ded Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 27 Nov 2014 15:44:16 +0100
Subject: better to always print the thread id

---
 lib/system.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/system.ml b/lib/system.ml
index b0b5aa1a8c..0c4e892b9e 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -260,7 +260,5 @@ let with_time time f x =
 
 let process_id () =
   if Flags.async_proofs_is_worker () then !Flags.async_proofs_worker_id
-  else if Flags.async_proofs_is_master () then
-    Printf.sprintf "master:%d" (Thread.id (Thread.self ()))
-  else "master"
+  else Printf.sprintf "master:%d" (Thread.id (Thread.self ()))
     
-- 
cgit v1.2.3