Minor fixings.

diff --git a/helm/papers/system_T/t.tex b/helm/papers/system_T/t.tex
index 671c933b34e752f39eefa1c26f33014c12668e99..df00823e88061ee5f08fd0491ee09126571cffc8 100644 (file)
--- a/helm/papers/system_T/t.tex
+++ b/helm/papers/system_T/t.tex
@@ -13,7 +13,7 @@
 \renewcommand{\star}{\ast}
 \newcommand{\one}{\mathbb{1}}
 \renewcommand{\times}{\cdot}
-\title{A gentle approach to program extraction and realizability}
+\title{A gentle approach to\\program extraction and realizability}
 \author{...}