refined core

1 files changed, 3 insertions, 1 deletions

diff --git a/main.tex b/main.tex
index 21356f3..384a751 100644
--- a/main.tex
+++ b/main.tex
@@ -10,10 +10,11 @@
 \usepackage[nameinlink]{cleveref}
 \usepackage{xspace}
 \usepackage[colorinlistoftodos]{todonotes}
-% \usepackage[scaled=.83]{beramono} 
+\usepackage[scaled=.83]{beramono} 
 \usepackage{lineno}
 \usepackage{tikz-inet}
 \usepackage{stmaryrd}
+\usepackage{float}
 
 \usetikzlibrary{calc}
 \linenumbers
@@ -21,6 +22,7 @@
 \Crefname{algocf}{Algorithm}{Algorithms}
 
 \input{macros}
+\input{cmds}
 
 \title{VEIN: VErification via Interaction Nets for Neural Networks}
 \author{Eric Marin}