From 46f9f65b6a3d17b6e8b692beed1557bdfe5eaa27 Mon Sep 17 00:00:00 2001
From: Pierre Chambart <pierre.chambart@ocamlpro.com>
Date: Thu, 19 Jul 2018 01:33:18 +0200
Subject: [PATCH] Michelson: Update documentation

---
 docs/whitedoc/michelson.rst | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst
index 79f2dbbec..95ffcf12a 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -786,6 +786,10 @@ is, concatenate or splice them, and use them as keys.
 
 ::
 
+    :: string : string : 'S   -> string : 'S
+
+    > CONCAT / s : t : S  =>  (s ^ t) : S
+
     :: string list : 'S   -> string : 'S
 
     > CONCAT / {} : S  =>  "" : S
@@ -1487,6 +1491,10 @@ the wild and untyped outside world.
 
 ::
 
+   :: bytes : bytes : 'S   -> bytes : 'S
+
+    > CONCAT / s : t : S  =>  (s ^ t) : S
+
     :: bytes list : 'S   -> bytes : 'S
 
     > CONCAT / {} : S  =>  0x : S