From 9c08caae92e16e549e47658daf8a04506563ba7e Mon Sep 17 00:00:00 2001
From: Joachim Ansorg <mail@ja-dev.eu>
Date: Fri, 24 Aug 2018 09:51:44 +0000
Subject: [PATCH] Fix highlighting of code snippets

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

diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst
index 982d39809..bbe7a8b91 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -2425,6 +2425,7 @@ a name for the value on the stack. The following typing rule
 demonstrates their use for instruction ``CAR``.
 
 ::
+
    CAR @%
    :: @p (pair ('a %fst) ('b %snd)) : 'S   ->   @fst 'a : 'S
 
@@ -2438,6 +2439,7 @@ element. Two examples with ``PAIR`` follows, notice the special
 treatment of annotations with `.`.
 
 ::
+
    PAIR %@ %@
    :: @x 'a : @y 'b : 'S   ->   (pair ('a %x) ('b %y)) : 'S