From 9eec22ca435b998be9cfedc483b27f162c90ae61 Mon Sep 17 00:00:00 2001
From: Evgeny Poberezkin <2769109+epoberezkin@users.noreply.github.com>
Date: Sun, 12 Jul 2020 15:18:32 +0100
Subject: [PATCH] rename type paarameters

---
 definitions/src/Control/Protocol.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/definitions/src/Control/Protocol.hs b/definitions/src/Control/Protocol.hs
index 5275a65a04..55ad516e88 100644
--- a/definitions/src/Control/Protocol.hs
+++ b/definitions/src/Control/Protocol.hs
@@ -20,7 +20,7 @@ import Data.Kind
 import Data.Singletons
 import GHC.TypeLits (ErrorMessage (..), TypeError)
 
-type Command p k = (p, k, k) -> (p, k, k) -> Type -> Type
+type Command party state = (party, state, state) -> (party, state, state) -> Type -> Type
 
 data ProtocolCmd (cmd :: Command p k) (parties :: [p]) (s :: [k]) (s' :: [k]) (a :: Type) where
   Comment :: String -> ProtocolCmd cmd ps s s ()