diff options
Diffstat (limited to 'related.tex')
-rw-r--r-- | related.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/related.tex b/related.tex index 656bc1a..cfc8a6e 100644 --- a/related.tex +++ b/related.tex @@ -37,8 +37,8 @@ \node[align=right] at (2.6,-1.7) {\color{colormechanised}Mechanised \\ \color{colormechanised}correctness proof}; \node at (-2.8,4.1) {\color{colorusabletool}\strut Usable tool}; \node at (2.1,4.1) {\color{colorhighlevel}\strut High-level software input}; - \end{tikzpicture} + \Description{A Venn diagram containing the related works.} \caption{Summary of related work}\label{fig:related_euler} \end{figure} |