diff options
Diffstat (limited to 'portal/portal.mli')
| -rw-r--r-- | portal/portal.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/portal/portal.mli b/portal/portal.mli index 0d3003c..55cea74 100644 --- a/portal/portal.mli +++ b/portal/portal.mli @@ -17,8 +17,8 @@ val domain_to_string : domain -> string [push None] closes the XMPP stream and disconnects the underlying [_socket]. This is how XMPP connections should be ended. *) 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; } |