diff options
| -rw-r--r-- | doc/Translator.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Translator.tex b/doc/Translator.tex index fb2effc01..5ebee7fdf 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} |