diff options
Diffstat (limited to 'stm/spawned.mli')
| -rw-r--r-- | stm/spawned.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/spawned.mli b/stm/spawned.mli index d9e7baff..d0183e08 100644 --- a/stm/spawned.mli +++ b/stm/spawned.mli @@ -8,7 +8,7 @@ (* To link this file, threads are needed *) -type chandescr = AnonPipe | Socket of string * int +type chandescr = AnonPipe | Socket of string * int * int (* Argument parsing should set these *) val main_channel : chandescr option ref |