diff --git a/definitions/src/Simplex/Messaging/Protocol.hs b/definitions/src/Simplex/Messaging/Protocol.hs index 1a9de076ed..d486c0cd20 100644 --- a/definitions/src/Simplex/Messaging/Protocol.hs +++ b/definitions/src/Simplex/Messaging/Protocol.hs @@ -97,9 +97,7 @@ data instance (<==|) (rs <==> bs) ss :: Type where -> Sing ss -> rs <==> bs <==| ss -st1 :: 'New <==> 'New -st1 = SNew :<==> SNew - +-- recipient <==> broker <==| sender st2 :: 'Pending <==> 'New <==| 'Confirmed st2 = SPending :<==> SNew :<==| SConfirmed