From cdbe6f978bf6de9a1b389cebc02dc74666b7a4ee Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 13 Nov 2020 13:13:43 +0000
Subject: Update some sections

---
 main.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index fff43ff..a1a8355 100644
--- a/main.tex
+++ b/main.tex
@@ -71,6 +71,7 @@
 
 \newcommand{\vericert}{Veri\-cert}%
 \newcommand{\compcert}{Comp\-Cert}%
+\newcommand{\legup}{LegUp}%
 
 \begin{document}
 
-- 
cgit 

