X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/36e42cb86393a7b9e333ecd7edfbdd16c7d9a1ac..cd04086681583dd3fcc95b6e12ba312054dc590e:/src/openssl.sig

diff --git a/src/openssl.sig b/src/openssl.sig
index 82cec65..a3641a9 100644
--- a/src/openssl.sig
+++ b/src/openssl.sig
@@ -39,7 +39,7 @@ val writeInt : bio * int -> unit
 val writeString' : bio * string -> unit
 val writeString : bio * string -> unit
 
-val context : string * string * string -> context
+val context : bool -> string * string * string -> context
 
 val connect : context * string -> bio
 val close : bio -> unit