diff options
Diffstat (limited to 'portal')
| -rw-r--r-- | portal/portal.mli | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/portal/portal.mli b/portal/portal.mli index b46a00f..d57a839 100644 --- a/portal/portal.mli +++ b/portal/portal.mli @@ -9,9 +9,7 @@ type socket (** This is the XML namespace of the underlying element stream. You can rely on it on your code, as an escape hatch, but you should probably not, - since the Portal interface is supposed to be agnostic. - - Still, bad implementations exist -- Use with care. *) + since the Portal interface is supposed to be agnostic. *) val xmlns : string (** [header domain portal] sends an initial stream header to the provided [portal] and |