From e3eccea6e2ef93443612afcd7c9c3c76c48786d4 Mon Sep 17 00:00:00 2001
From: Denis Davidyuk <denis_davidyuk@hotmail.com>
Date: Thu, 25 Jan 2024 14:29:33 +0700
Subject: [PATCH] docs: remove unused notation from consensus readme (#519)

---
 consensus/README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/consensus/README.md b/consensus/README.md
index 2284ddb2..b20c1e58 100644
--- a/consensus/README.md
+++ b/consensus/README.md
@@ -11,7 +11,6 @@ be interpreted as described in [RFC 2119](https://tools.ietf.org/html/rfc2119).
 ## Notation
 
 - `x || y`, x concatenated with y
-- `sk <- rand(1^n)`, sample a random n bit number
 
 ## Overview