From 34b510b5c3113557a6981e9548343bca558461d8 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 10 Sep 2021 16:23:25 +0100
Subject: Better alignment of figure

---
 algorithm.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'algorithm.tex')

diff --git a/algorithm.tex b/algorithm.tex
index 0182d70..1a2d191 100644
--- a/algorithm.tex
+++ b/algorithm.tex
@@ -49,8 +49,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,-1.5) (htl) {HTL};
     \node[language] at (6.7,-1.5) (verilog) {Verilog};
-    \node at (0,1.5) {\bf\compcert{}};
-    \node at (0,-1.5) {\bf\vericert{}};
+    \node[anchor=west] at (-0.9,1.6) {\bf\compcert{}};
+    \node[anchor=west] at (-0.9,-1.4) {\bf\vericert{}};
     %%\node[anchor=west] at (-0.9,0.7) {\small $\sim$ 27 kloc};
     %%\node[anchor=west] at (4.1,0.7) {\small $\sim$ 46 kloc};
     %%\node[anchor=west] at (2,-1.5) {\small $\sim$ 17 kloc};
-- 
cgit 

