diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/protocols/Handle.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/protocols/Handle.mli b/lib/protocols/Handle.mli index 6fe175b..099f563 100644 --- a/lib/protocols/Handle.mli +++ b/lib/protocols/Handle.mli @@ -10,7 +10,7 @@ class type obj = object method protocols : protocol list end -val make : obj -> t +val make : #obj -> t val into : t -> (protocol -> 'a option) -> 'a interface option |