diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/system.ml | 4 |
1 files changed, 1 insertions, 3 deletions
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 ())) |