diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-11-06 13:06:59 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-11-06 13:06:59 +0000 |
| commit | 2c22811c63ba5d242ae1dc373075219b3de324b7 (patch) | |
| tree | b0b3fd72328ab9060376f14f8d93de712289e384 | |
| parent | 497f17e31d4fc55952ba20c9e938367102cb95f1 (diff) | |
On se plie aux cpp fachos
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/num/nat.mlp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/num/nat.mlp b/otherlibs/num/nat.mlp index 90877d521..699b7ed33 100644 --- a/otherlibs/num/nat.mlp +++ b/otherlibs/num/nat.mlp @@ -259,7 +259,7 @@ let raw_string_of_digit nat off = (* XL: suppression de string_of_digit et de sys_string_of_digit. La copie est de toute facon faite dans string_of_nat, qui est le - seul point d'entree public dans ce code. *) + seul point d entree public dans ce code. *) (****** let sys_string_of_digit nat off = |