From a758aac39aa330911f5f589ab3cae1bebed1e9ce Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 10 Jun 2017 04:12:11 +0200
Subject: [stm] Move process_id to Spawned.

This brings us one step closer to actually moving all STM flags to
`stm`.
---
 stm/spawned.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'stm/spawned.mli')

diff --git a/stm/spawned.mli b/stm/spawned.mli
index c3cf4d67b0..7f463c6a6e 100644
--- a/stm/spawned.mli
+++ b/stm/spawned.mli
@@ -20,3 +20,5 @@ val init_channels : unit -> unit
 (* Once initialized, these are the channels to talk with our master *)
 val get_channels : unit -> CThread.thread_ic * out_channel
 
+(** {6 Name of current process.} *)
+val process_id : unit -> string
-- 
cgit v1.2.3