diff -Naur a/packages/ssl/ssl4pl.c b/packages/ssl/ssl4pl.c --- a/packages/ssl/ssl4pl.c 2014-04-24 13:27:16.000000000 +0200 +++ b/packages/ssl/ssl4pl.c 2015-11-09 18:12:05.000000000 +0100 @@ -67,7 +67,6 @@ static functor_t FUNCTOR_crl1; static functor_t FUNCTOR_revocations1; static functor_t FUNCTOR_revoked2; -static functor_t FUNCTOR_session_key1; static functor_t FUNCTOR_master_key1; static functor_t FUNCTOR_session_id1; static functor_t FUNCTOR_client_random1; @@ -1537,13 +1536,6 @@ PL_INTEGER, (int)session->ssl_version)) return FALSE; - if ( !PL_unify_list_ex(list_t, node_t, list_t) ) - return FALSE; - if ( !PL_unify_term(node_t, - PL_FUNCTOR, FUNCTOR_session_key1, - PL_NCHARS, session->key_arg_length, session->key_arg)) - return FALSE; - if ( !PL_unify_list_ex(list_t, node_t, list_t)) return FALSE; if ( !PL_unify_term(node_t, @@ -1624,7 +1616,6 @@ FUNCTOR_crl1 = PL_new_functor(PL_new_atom("crl"), 1); FUNCTOR_revoked2 = PL_new_functor(PL_new_atom("revoked"), 2); FUNCTOR_revocations1 = PL_new_functor(PL_new_atom("revocations"), 1); - FUNCTOR_session_key1 = PL_new_functor(PL_new_atom("session_key"), 1); FUNCTOR_master_key1 = PL_new_functor(PL_new_atom("master_key"), 1); FUNCTOR_session_id1 = PL_new_functor(PL_new_atom("session_id"), 1); FUNCTOR_client_random1 = PL_new_functor(PL_new_atom("client_random"), 1);