From 15ed7a99fa3416cc15b143cad49e4bd1c76b2244 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 14 Oct 2004 14:41:54 +0000
Subject: [PATCH] - Prevent stupid clashes.

---
 spdl/splice-as.spdl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spdl/splice-as.spdl b/spdl/splice-as.spdl
index 6637208..788cdca 100644
--- a/spdl/splice-as.spdl
+++ b/spdl/splice-as.spdl
@@ -53,7 +53,7 @@ protocol spliceAS(C,AS,S)
 	}
 }
 
-const A,B,Eve: Agent;
+const Al,Bo,Eve: Agent;
 
 untrusted Eve;
 const ne: Nonce;