From fd7297472d304e7734fb3cd1bbc4fec799d1805f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 10 Dec 2017 14:40:24 +0100
Subject: [PATCH] missed a caption

---
 docs/base-logic.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/base-logic.tex b/docs/base-logic.tex
index 2a45cae7c..5907de36b 100644
--- a/docs/base-logic.tex
+++ b/docs/base-logic.tex
@@ -212,7 +212,7 @@ In writing $\vctx, x:\type$, we presuppose that $x$ is not already declared in $
 	}
 \end{mathparpagebreakable}
 
-\subsection{Proof rules}
+\subsection{Proof Rules}
 \label{sec:proof-rules}
 
 The judgment $\vctx \mid \prop \proves \propB$ says that with free variables $\vctx$, proposition $\propB$ holds whenever assumption $\prop$ holds.
-- 
GitLab