Index: doc/theses/fangren_yu_COOP_S20/Report.tex
===================================================================
--- doc/theses/fangren_yu_COOP_S20/Report.tex	(revision 91571e51fbbd54c3310e740cc2fb3b8da3e53dfa)
+++ doc/theses/fangren_yu_COOP_S20/Report.tex	(revision a00bc5b670e302caf7b7a128c32475c702fd7890)
@@ -56,5 +56,5 @@
 
 \title{\Huge
-cfa-cc Developer's Reference
+\lstinline|cfa-cc| Developer's Reference
 }% title
 
@@ -728,4 +728,5 @@
 The \CFA compiler sets a limit on assertion depth and reports an error if assertion resolution does not terminate within the limit (as for \lstinline[language=C++]@templates@ in \CC).
 
+\addcontentsline{toc}{section}{\refname}
 \bibliographystyle{plain}
 \bibliography{pl}