From 6f7b7f66f0b420a318aa5c3287cbd7c8250d3dd1 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 9 Sep 2021 21:00:41 +0100
Subject: Fix some more titles

---
 limitations.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'limitations.tex')

diff --git a/limitations.tex b/limitations.tex
index 141ee91..a470028 100644
--- a/limitations.tex
+++ b/limitations.tex
@@ -32,7 +32,7 @@ The introduction of pipelined operators to \vericert{}, especially for division,
 %JW I've chopped the following sentence because it felt like it was going into too much detail. 
 %However, 3ACPar would have to be modified to also describe such instructions so that these can be placed optimally using the external scheduling algorithm.
 
-\subsection{Limitations on the software input}
+\subsection{Limitations on the Software Input}
 
 %This section describes the limitations and possible improvements to the software input accepted by \vericert{}.
 
-- 
cgit 

