From 8f09305779d5aa6f2ab2915b26c4081cc2004753 Mon Sep 17 00:00:00 2001 From: Joachim Ansorg Date: Fri, 24 Aug 2018 10:08:17 +0000 Subject: [PATCH] Fix literal block markup --- docs/whitedoc/michelson.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst index bbe7a8b91..af607d59a 100644 --- a/docs/whitedoc/michelson.rst +++ b/docs/whitedoc/michelson.rst @@ -804,6 +804,8 @@ is, concatenate or splice them, and use them as keys. - ``SLICE``: String access. +:: + :: nat : nat : string : 'S -> option string : 'S > SLICE / offset : length : s : S => Some ss : S