diff -r 807acaf7f599 -r ed3169a567ea text/proposal.tex
--- a/text/proposal.tex	Sat Aug 18 01:54:44 2018 +0100
+++ b/text/proposal.tex	Tue Aug 21 14:13:05 2018 +0100
@@ -53,7 +53,7 @@
 26  6.63998
 27  13.35120
 28  29.81185
-\end{filecontents}
+\end{filecontents} 
 
 \begin{filecontents}{re-java9.data}
 1000  0.01410