X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Fconcepts.texi;h=ed7f44d061d9deec6dc8bd45dcd8377bf697e37f;hb=15d30a4c251fe810f3697bd287afdc8b1699487d;hp=d1cf5f2012600420395ccf74aa166fdea72dd61e;hpb=1ddcc5a5097c522c8609abd5037e27dfaffb4264;p=pspp

diff --git a/doc/dev/concepts.texi b/doc/dev/concepts.texi
index d1cf5f2012..ed7f44d061 100644
--- a/doc/dev/concepts.texi
+++ b/doc/dev/concepts.texi
@@ -2184,7 +2184,7 @@ current name.
 Renames each of the @var{count} variables in @var{vars} to the name in
 the corresponding position of @var{new_names}.  If the renaming would
 result in a duplicate variable name, returns false and stores one of
-the names that would be be duplicated into @code{*@var{err_name}}, if
+the names that would be duplicated into @code{*@var{err_name}}, if
 @var{err_name} is non-null.  Otherwise, the renaming is successful,
 and true is returned.
 @end deftypefun