X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Futilities.texi;h=ea7f555ebb410d0fc9208cb41e6640d28a33c02f;hb=e314315b24e8f4356c1e72a61bef6633f8992bf4;hp=eb30f892d570444a5036fb963090762b617e720a;hpb=0df9cdd3df66caf4353128feff3008289cda8115;p=pspp

diff --git a/doc/utilities.texi b/doc/utilities.texi
index eb30f892d5..ea7f555ebb 100644
--- a/doc/utilities.texi
+++ b/doc/utilities.texi
@@ -863,7 +863,7 @@ SET LOCALE='ru_RU.cp1251'.
 SET LOCALE='japanese'.
 @end example
 
-Contrary to the intuition, this command does not affect any aspect 
+Contrary to intuition, this command does not affect any aspect 
 of the system's locale.
 @end table