1 files changed, 2 insertions, 0 deletions
diff --git a/paper.tex b/paper.tex
index fde8270..3b13ea1 100644
--- a/paper.tex
+++ b/paper.tex
@@ -35,6 +35,8 @@ S. Muthukrishnan \affil{Rutgers University, Microsoft Research}}
 \input{problem}
 \section{Mechanism for \SEDP{}}
 \input{main}
+\section{Proofs}
+\input{proofs}
 \section{Extension to Other Problems}\label{sec:ext}
 \input{general}
 %\section{Conclusion}