Index: doc/theses/fangren_yu_COOP_F20/Report.tex
===================================================================
--- doc/theses/fangren_yu_COOP_F20/Report.tex	(revision 91571e51fbbd54c3310e740cc2fb3b8da3e53dfa)
+++ doc/theses/fangren_yu_COOP_F20/Report.tex	(revision a00bc5b670e302caf7b7a128c32475c702fd7890)
@@ -513,4 +513,5 @@
 The \CFA team are planning on a public alpha release of the language as the compiler performance becomes promising, and other parts of the system, such as a standard library, are also being enhanced. Ideally, the remaining problems should be resolved before release, and the solutions will also be integral to drafting a formal specification. 
 
+\addcontentsline{toc}{section}{\refname}
 \bibliographystyle{plain}
 \bibliography{pl}