From b61df9d8165b3ce057886015ec0d4a1defd71d03 Mon Sep 17 00:00:00 2001
From: Alain Mebsout <alainmebsout@gmail.com>
Date: Fri, 8 Jun 2018 12:28:55 +0200
Subject: [PATCH] Doc: fix LOOP_LEFT type

---
 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 b1dded3dd..f3f8a6867 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -435,7 +435,7 @@ Control structures
 
 ::
 
-    :: (or 'a 'b) : 'A   ->   'A
+    :: (or 'a 'b) : 'A   ->  'b : 'A
        iff   body :: [ 'a : 'A -> (or 'a 'b) : 'A ]
 
     > LOOP_LEFT body / (Left a) : S  =>  body ; LOOP_LEFT body / a : S