From f7dbf2c0cb26fffb6bb13aeb1a76479569896c76 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 24 Dec 2003 17:15:11 +0000
Subject: *** empty log message ***

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

(limited to 'doc/Translator.tex')

diff --git a/doc/Translator.tex b/doc/Translator.tex
index fb2effc018..5ebee7fdfa 100644
--- a/doc/Translator.tex
+++ b/doc/Translator.tex
@@ -526,7 +526,7 @@ arises:
 \TRANS{true_sub}{Pminus}
 \TRANS{entier}{N}
 \TRANS{Un_suivi_de}{Ndouble_plus_one}
-\TRANS{Zero_suivi_de}{Ndouble
+\TRANS{Zero_suivi_de}{Ndouble}
 \TRANS{Nul}{N0}
 \TRANS{Pos}{Npos}
 \end{transbox}
-- 
cgit v1.2.3

