From 6d9d36ade836d83d8197408f45df823d9aeb914e Mon Sep 17 00:00:00 2001
From: Thomas Muller <thomas.muller@systerel.fr>
Date: Wed, 25 Apr 2012 15:11:11 +0000
Subject: [PATCH] Fixed wrong section level.

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14612 1434b563-b632-4741-aa49-43a3a8374d2e
---
 org.rodinp.handbook.feature/latex/reference-01.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.rodinp.handbook.feature/latex/reference-01.tex b/org.rodinp.handbook.feature/latex/reference-01.tex
index 82dc307..4883248 100644
--- a/org.rodinp.handbook.feature/latex/reference-01.tex
+++ b/org.rodinp.handbook.feature/latex/reference-01.tex
@@ -728,7 +728,7 @@ This window allows the user to keep track of recently manipulated (i.e. used, re
 
 Operations similar to those in the \textsf{Selected Hypotheses} and \textsf{Search Hypotheses} views are also available for the cached hypotheses. It is possible to remove, select, and start a proof by contradiction (\icon{rodin/falsify_prover.png}) in the \textsf{Cache Hypotheses} view as well. Interactive proof steps (e.g., rewriting) can also be carried out in the \textsf{Cache Hypotheses} view.
 
-\subsection{The Type Environment View}
+\subsubsection{The Type Environment View}
 
 \begin{figure}[!ht]
 \begin{center}
-- 
GitLab