From be4deb44bf8e1f211bb88e34dcbe8bc02a916842 Mon Sep 17 00:00:00 2001
From: Benjamin Canou <benjamin@canou.fr>
Date: Thu, 5 Apr 2018 16:22:22 +0200
Subject: [PATCH] Michelson: minor fix in documentation

---
 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 8479de4f6..d2626e02b 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -461,7 +461,7 @@ Control structures
     :: (or 'a 'b) : 'A   ->   'A
        iff   body :: [ 'a : 'A -> (or 'a 'b) : 'A ]
 
-    > LOOP_LEFT body / (Left a)  : S  =>  body ; LOOP_LEFT body / (or 'a 'b) : S
+    > LOOP_LEFT body / (Left a) : S  =>  body ; LOOP_LEFT body / a : S
     > LOOP_LEFT body / (Right b) : S  =>  b : S
 
 -  ``DIP code``: Runs code protecting the top of the stack.