From 262369c4898bfef1a2bf022f36cc321d1883a14d Mon Sep 17 00:00:00 2001
From: Jan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
Date: Thu, 8 Oct 2015 12:02:59 +0100
Subject: [PATCH] Fixed reST error in docs.

---
 docs/reference/tactics.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/reference/tactics.rst b/docs/reference/tactics.rst
index bfd39f959..bf3de32f6 100644
--- a/docs/reference/tactics.rst
+++ b/docs/reference/tactics.rst
@@ -1,6 +1,6 @@
-***************************
+****************************************
 DEPRECATED: Tactics and Theorem Proving
-***************************
+****************************************
 
 .. warning::
    The interactive theorem-proving interface documented here has been