remove TLS option in socket_client_open/3

2022-01-09 17:04:54 +01:00
parent 07bc97fb31
commit 35670c8654
3 changed files with 3 additions and 38 deletions
--- a/crates/instructions-template/src/lib.rs
+++ b/crates/instructions-template/src/lib.rs
@@ -442,7 +442,7 @@ enum SystemClauseType {
    SkipMaxList,
    #[strum_discriminants(strum(props(Arity = "1", Name = "$sleep")))]
    Sleep,
-    #[strum_discriminants(strum(props(Arity = "8", Name = "$socket_client_open")))]
+    #[strum_discriminants(strum(props(Arity = "7", Name = "$socket_client_open")))]
    SocketClientOpen,
    #[strum_discriminants(strum(props(Arity = "3", Name = "$socket_server_open")))]
    SocketServerOpen,