From 855aee7523083eb6d6520a8e56635a5f0a5ca7c4 Mon Sep 17 00:00:00 2001 From: phink Date: Mon, 17 Dec 2018 14:35:04 +0100 Subject: [PATCH] Doc: fix percent annotation on pair --- docs/whitedoc/michelson.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst index 79724e4ec..e74630260 100644 --- a/docs/whitedoc/michelson.rst +++ b/docs/whitedoc/michelson.rst @@ -2239,7 +2239,7 @@ and variable annotations). :: PAIR %fst %snd - :: 'a : 'b : 'S -> (pair ('a %fst) ('b %fst)) : 'S + :: 'a : 'b : 'S -> (pair ('a %fst) ('b %snd)) : 'S LEFT %left %right 'b :: 'a : 'S -> (or ('a %left) ('b %right)) : 'S