From af84e080ff674a3d5cf2cf88874ddb6ebaf38ecf Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Tue, 9 Dec 2014 12:48:32 +0100
Subject: Switch the few remaining iso-latin-1 files to utf8

---
 lib/pp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/pp.ml')

diff --git a/lib/pp.ml b/lib/pp.ml
index 405eacffe3..d7ae31dd3b 100644
--- a/lib/pp.ml
+++ b/lib/pp.ml
@@ -167,7 +167,7 @@ let rewrite f p =
    Rem 2 : if used for an iso8859_1 encoded string, the result is
    wrong in very rare cases. Such a wrong case corresponds to any
    sequence of a character in range 192..253 immediately followed by a
-   character in range 128..191 (typical case in french is "déçu" which
+   character in range 128..191 (typical case in french is "déçu" which
    is counted 3 instead of 4); then no real harm to use always
    utf8_length even if using an iso8859_1 encoding *)
 
-- 
cgit v1.2.3