# HG changeset patch
# User Thien-Thi Nguyen <ttn@gnuvola.org>
# Date 1121276819 0
# Node ID 25e7c854aa97e01f9d463eece903f4b373b22c85
# Parent  549c22d3fe544e0cae0b1b1ed7a09b4fd5dd98dc
(Translating Input): Fix typo.

diff -r 549c22d3fe54 -r 25e7c854aa97 lispref/os.texi
--- a/lispref/os.texi	Wed Jul 13 13:45:30 2005 +0000
+++ b/lispref/os.texi	Wed Jul 13 17:46:59 2005 +0000
@@ -1721,7 +1721,7 @@
 @code{key-translation-map}, even though they are overridden by it.
 Indeed, actual key bindings override @code{function-key-map} and thus
 may alter the key sequence that @code{key-translation-map} receives.
-Clearly, it is better to avoid to avoid this type of situation.
+Clearly, it is better to avoid this type of situation.
 
 The intent of @code{key-translation-map} is for users to map one
 character set to another, including ordinary characters normally bound