Switch default web node from mire to navajos

[hcoop/domtool2.git] / src / openssl.sig

diff --git a/src/openssl.sig b/src/openssl.sig
index a3641a9..2e027b9 100644 (file)
--- a/src/openssl.sig
+++ b/src/openssl.sig
@@ -41,7 +41,7 @@ val writeString : bio * string -> unit
 
 val context : bool -> string * string * string -> context
 
-val connect : context * string -> bio
+val connect : bool -> context * string -> bio
 val close : bio -> unit
 
 val listen : context * int -> listener