From 60e581f6fbcf033e134291016351492d9df7e319 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 1 Aug 2017 02:01:09 +0200
Subject: Fixup doc

---
 doc/ltac2.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/ltac2.md b/doc/ltac2.md
index 38a56d3d6b..e2aa4cfb3b 100644
--- a/doc/ltac2.md
+++ b/doc/ltac2.md
@@ -126,8 +126,10 @@ statically defined, but can instead by extended dynamically. A typical example
 is the standard `exn` type. Pattern-matching must always include a catch-all
 clause. They can be extended by the following command.
 
+```
 VERNAC ::=
 | "Ltac2" "Type" TYPEPARAMS QUALID ":=" "[" CONSTRUCTORDEF "]"
+```
 
 ## Term Syntax
 
-- 
cgit v1.2.3