From d5d1435708577eab01d711e4924ad2113660aba8 Mon Sep 17 00:00:00 2001
From: emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 17 Apr 2007 19:56:25 +0000
Subject: Corrected a LaTeX typo.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9784 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-lib.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/refman/RefMan-lib.tex b/doc/refman/RefMan-lib.tex
index 3d22663c6..f1913d7cc 100644
--- a/doc/refman/RefMan-lib.tex
+++ b/doc/refman/RefMan-lib.tex
@@ -329,7 +329,6 @@ them come with a special syntax shown on Figure~\ref{specif-syntax}.
 \subsubsection[Programming]{Programming\label{Programming}
 \index{Programming}
 \label{libnats}
-
 \ttindex{unit}
 \ttindex{tt}
 \ttindex{bool}
-- 
cgit v1.2.3