- Prevent stupid clashes.

This commit is contained in:
ccremers 2004-10-14 14:41:54 +00:00
parent 884db51a4b
commit 15ed7a99fa

View File

@ -53,7 +53,7 @@ protocol spliceAS(C,AS,S)
}
}
const A,B,Eve: Agent;
const Al,Bo,Eve: Agent;
untrusted Eve;
const ne: Nonce;