From 9ef2323823c8fea8cfb53e9c011433daeb7ec66f Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Sat, 22 Aug 2026 23:22:31 +0000 Subject: Make the interfaces open --- lib/protocols/Directory.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/protocols/Directory.mli') diff --git a/lib/protocols/Directory.mli b/lib/protocols/Directory.mli index b7bc69c..5bf5277 100644 --- a/lib/protocols/Directory.mli +++ b/lib/protocols/Directory.mli @@ -5,7 +5,7 @@ class type implementation = object method find : string -> Handle.t option end -val make : implementation -> Handle.protocol +val make : #implementation -> Handle.protocol val from : Handle.t -> t Handle.interface option -- cgit v1.2.3