From e98793a62049447a7a79dabf030aa5de9617c078 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Wed, 17 Jan 2018 12:19:04 +0100
Subject: [PATCH] Remove duplicate section for references

---
 proposal/proposal.tex | 2 --
 1 file changed, 2 deletions(-)

diff --git a/proposal/proposal.tex b/proposal/proposal.tex
index 61be25a..7237479 100644
--- a/proposal/proposal.tex
+++ b/proposal/proposal.tex
@@ -275,8 +275,6 @@ project.
 
 The thesis shall conclude with a discussion about the benefits of Cubical Agda.
 %
-\section{References}
-%
 \bibliographystyle{plainnat}
 \nocite{cubical-demo}
 \nocite{coquand-2013}