diff --git a/doc/rust.texi b/doc/rust.texi index 8a502ae50b1..005e4b297af 100644 --- a/doc/rust.texi +++ b/doc/rust.texi @@ -664,21 +664,20 @@ The keywords are: @tab @code{if} @item @code{else} @tab @code{alt} -@tab @code{case} @tab @code{in} @tab @code{do} -@item @code{while} -@tab @code{break} +@tab @code{while} +@item @code{break} @tab @code{cont} @tab @code{note} @tab @code{assert} -@item @code{claim} -@tab @code{check} +@tab @code{claim} +@item @code{check} @tab @code{prove} @tab @code{fail} @tab @code{for} -@item @code{each} -@tab @code{ret} +@tab @code{each} +@item @code{ret} @tab @code{put} @tab @code{be} @end multitable