More changes to proof and text

1 files changed, 3 insertions, 1 deletions

diff --git a/main.tex b/main.tex
index 99d32aa..1b21848 100644
--- a/main.tex
+++ b/main.tex
@@ -45,6 +45,8 @@
 \usepackage{tikz}
 \usepackage{minted}
 
+\usetikzlibrary{shapes,calc,arrows.meta}
+
 \setminted{fontsize=\small}
 \usemintedstyle{manni}
 
@@ -75,7 +77,7 @@
 
 \newcommand{\vericert}{Veri\-cert}%
 \newcommand{\compcert}{Comp\-Cert}%
-\newcommand{\legup}{LegUp}%
+\newcommand{\legup}{Leg\-Up}%
 
 \begin{document}