From 24a1ba93b3894d03eeb212fdd077b0712a8e1947 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 24 Oct 2005 07:40:26 +0000
Subject: [PATCH] Minor fixings.

---
 helm/papers/system_T/t.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/papers/system_T/t.tex b/helm/papers/system_T/t.tex
index 671c933b3..df00823e8 100644
--- 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{...}
 
 
-- 
2.39.2