Update on Overleaf.

1 files changed, 3 insertions, 3 deletions

diff --git a/algorithm.tex b/algorithm.tex
index 78b8a0a..fbf8df1 100644
--- a/algorithm.tex
+++ b/algorithm.tex
@@ -43,8 +43,8 @@ The .NET framework has been used as a basis for other HLS tools, such as Kiwi~\c
     \node[continuation] at (7.3,0) (contb) {$\cdots$};
     \node[language] at (4.7,-2) (dfgstmd) {HTL};
     \node[language] at (6.7,-2) (verilog) {Verilog};
-    \node at (0,1) {\compcert{}};
-    \node at (0,-2) {\vericert{}};
+    \node at (0,1) {\bf\compcert{}};
+    \node at (0,-2) {\bf\vericert{}};
     \draw[->] (clight) -- (conta);
     \draw[->] (conta) -- (cminor);
     \draw[->] (cminor) -- (rtl);
@@ -54,7 +54,7 @@ The .NET framework has been used as a basis for other HLS tools, such as Kiwi~\c
     \draw[->] (rtl) -- (dfgstmd);
     \draw[->] (dfgstmd) -- (verilog);
   \end{tikzpicture}}
-  \caption{Verilog back end to \compcert{}, branching off at the three address code (3AC), at which point the three address code is transformed into a state machine.  Finally, it is transformed to a hardware description of the state machine in Verilog.}%
+  \caption{\vericert{} as a Verilog back end to \compcert{}}%
   \label{fig:rtlbranch}
 \end{figure}