diff options
Diffstat (limited to 'limitations.tex')
-rw-r--r-- | limitations.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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{}. |