summaryrefslogtreecommitdiffstats
path: root/main.tex
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-11-13 13:13:43 +0000
committerYann Herklotz <git@yannherklotz.com>2020-11-13 13:13:43 +0000
commitcdbe6f978bf6de9a1b389cebc02dc74666b7a4ee (patch)
treec2013228f14222a3fd7f373f3a815edac38806b7 /main.tex
parentfae93d199b799b3b7ecf9900cec81e548de99d83 (diff)
downloadoopsla21_fvhls-cdbe6f978bf6de9a1b389cebc02dc74666b7a4ee.tar.gz
oopsla21_fvhls-cdbe6f978bf6de9a1b389cebc02dc74666b7a4ee.zip
Update some sections
Diffstat (limited to 'main.tex')
-rw-r--r--main.tex1
1 files changed, 1 insertions, 0 deletions
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}