---

yaml
---
r: 5842
b: refs/heads/master
c: f400bfd
h: refs/heads/master
v: v3

Author: mbrubeck

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1e5f163eec5ce4c9dfc734d12c8cd2d2accdff10
+refs/heads/master: f400bfd8fdce370a8ee29ee250ebb48a1c005ad6

trunk/doc/rust.texi

@@ -3353,10 +3353,9 @@ equal the type of the head expression.
 
 To execute a pattern @code{alt} expression, first the head expression is
 evaluated, then its value is sequentially compared to the patterns in the arms
-until a match is found. The first arm with a matching @code{case} pattern is
-chosen as the branch target of the @code{alt}, any variables bound by the
-pattern are assigned to local slots in the arm's block, and control enters the
-block.
+until a match is found. The first arm with a matching pattern is chosen as the
+branch target of the @code{alt}, any variables bound by the pattern are
+assigned to local slots in the arm's block, and control enters the block.
 
 An example of a pattern @code{alt} expression:
 
@@ -3366,13 +3365,13 @@ type list<X> = tag(nil, cons(X, @@list<X>));
 let x: list<int> = cons(10, cons(11, nil));
 
 alt x @{
-    case (cons(a, cons(b, _))) @{
+    cons(a, cons(b, _)) @{
         process_pair(a,b);
     @}
-    case (cons(v=10, _)) @{
+    cons(v=10, _) @{
         process_ten(v);
     @}
-    case (_) @{
+    _ @{
         fail;
     @}
 @}