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;