From c0da2c2f8fc7cd22a70ad3965f23418b76e5e491 Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Tue, 12 May 2015 00:26:33 -0400
Subject: Fix natbib style

---
 final/main.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'final/main.tex')

diff --git a/final/main.tex b/final/main.tex
index dae0503..f5ad43f 100644
--- a/final/main.tex
+++ b/final/main.tex
@@ -207,6 +207,7 @@ We can now formally describe the candidate mechanism.
 \end{minipage}
 }
 \end{center}
+
 where we use the notation $\I[\text{expression}]$ to denote the indicator
 variable for the expression, which takes on value 1 when the expression is true and 0 otherwise.
 
@@ -239,6 +240,6 @@ Lemma.
 \end{lemma}
 
 
-\bibliographystyle{abbr}
+\bibliographystyle{abbrvnat}
 \bibliography{main}
 \end{document}
-- 
cgit v1.2.3-70-g09d2

