Fix PDK_SAUTH_OR_MUTUAL

kemtls · Mar 15, 2022 · 39ac481 · 39ac481
1 parent 48c631a
commit 39ac481
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lemmas/attacker_works.spthy b/lemmas/attacker_works.spthy
@@ -75,15 +75,15 @@ M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_MUTUAL, 6)
 #endif
 
 #ifdef INCLUDE_KEMTLS_PDK_SAUTH
-M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH, 1)
+M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH_OR_MUTUAL, 1)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH, 2)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH, 3)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH, 4)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_SAUTH, 5)
 #endif
 
 #ifdef INCLUDE_KEMTLS_PDK_MUTUAL
-M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_MUTUAL, 1)
+dnl M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_MUTUAL, 1)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_MUTUAL, 2)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_MUTUAL, 3)
 M_LEMMA_ATTACKER_WORKS_LEARN_SESSION_KEY(KEMTLS_PDK_MUTUAL, 4)