Update on Overleaf.

1 files changed, 7 insertions, 1 deletions

diff --git a/main.tex b/main.tex
index 9cfe5f1..06667b5 100644
--- a/main.tex
+++ b/main.tex
@@ -47,6 +47,7 @@
 \usepackage{microtype}
 
 \usetikzlibrary{shapes,calc,arrows.meta}
+\pgfplotsset{compat=1.16}
 
 \setminted{fontsize=\small}
 \usemintedstyle{manni}
@@ -87,6 +88,11 @@
 \newcommand{\compcert}{Comp\-Cert}
 \newcommand{\legup}{Leg\-Up}
 
+\newcommand{\slowdownOrig}{56}
+\newcommand{\slowdownDiv}{10}
+\newcommand{\areaIncr}{21}
+
+
 \newtheorem{theorem}{Theorem}
 \newtheorem{lemma}{Lemma}
 \newtheorem*{remark}{Remark}
@@ -214,7 +220,7 @@
 
 
 %% Appendix
-\input{appendix}
+%\input{appendix}
 
 \end{document}