From c56035c2850fe09fc5ef6389e58de28109ad5a93 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Thu, 29 Oct 2015 17:33:54 +0100
Subject: TYPOGRAPHY: getting rid of an extra space

---
 doc/refman/RefMan-cic.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex
index fe32cb7266..a008bd19a5 100644
--- a/doc/refman/RefMan-cic.tex
+++ b/doc/refman/RefMan-cic.tex
@@ -411,7 +411,7 @@ called $\zeta$-reduction and shows as follows.
 
 $$\WTEGRED{\kw{let}~x:=u~\kw{in}~t}{\triangleright_{\zeta}}{\subst{t}{x}{u}}$$
 
-\paragraph{$\eta$-conversion.
+\paragraph{$\eta$-conversion.%
 \label{eta}
 \index{eta-conversion@$\eta$-conversion}
 %\index{eta-reduction@$\eta$-reduction}
-- 
cgit v1.2.3