Update patch to remove manual fix for PR #101

cryspen · Apr 3, 2024 · 7f2c3ff · 7f2c3ff
1 parent bf34a9d
commit 7f2c3ff
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/proofs/proverif/patches/lib.patch b/proofs/proverif/patches/lib.patch
@@ -1413,16 +1413,6 @@
         let (
           client_randomness: bertie__tls13utils__t_Bytes,
           session_id: bertie__tls13utils__t_Bytes,
-@@ -4276,8 +4345,8 @@
-              ciphersuite, db, sni, tkto
-            ) in let cipher0 = bertie__tls13handshake__process_psk_binder_zero_rtt(
-              ciphersuite,
--             th,
-              th_trunc,
-+             th,
-              accessor_bertie__server__ServerInfo_f_psk_opt(server),
-              bindero
-            ) in (
 @@ -4294,14 +4363,12 @@
         )
         else bitstring_err().