diff options
Diffstat (limited to 'portal/tcp/portal.ml')
| -rw-r--r-- | portal/tcp/portal.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/portal/tcp/portal.ml b/portal/tcp/portal.ml index 48d0571..d84c9e6 100644 --- a/portal/tcp/portal.ml +++ b/portal/tcp/portal.ml @@ -19,8 +19,8 @@ type 'a sock = { type socket = Plain of Lwt_unix.file_descr sock | Tls of Tls_lwt.Unix.t sock type t = { - mutable stream : (signal, async) stream; - mutable push : (signal, sync) stream option -> unit; + stream : (signal, async) stream; + push : (signal, sync) stream option -> unit; mutable _socket : socket; } |