From 6f7b7f66f0b420a318aa5c3287cbd7c8250d3dd1 Mon Sep 17 00:00:00 2001 From: Yann Herklotz 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