From 48e0de22c129c2faec142c879c820f6db91b75b2 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 5 May 2011 11:54:32 -0700
Subject: [PATCH] Put out burning tinderbox.

---
 doc/rust.texi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/rust.texi b/doc/rust.texi
index 1c6b88eb11f..fc4ce1fd460 100644
--- a/doc/rust.texi
+++ b/doc/rust.texi
@@ -1673,6 +1673,7 @@ are no general parametric types.
 @menu
 * Ref.Item.Mod::                Items defining modules.
 * Ref.Item.Fn::                 Items defining functions.
+* Ref.Item.Pred::               Items defining predicates for typestates.
 * Ref.Item.Iter::               Items defining iterators.
 * Ref.Item.Obj::                Items defining objects.
 * Ref.Item.Type::               Items defining the types of values and slots.
@@ -2651,7 +2652,8 @@ This implicit graph is called the @dfn{control-flow graph}, or @dfn{CFG}.
 @cindex Predicate
 @cindex Constraint
 
-A @dfn{predicate} is a pure boolean function declared with the keyword @code{pred}. @xref{Ref.Item.Pred}.
+A @dfn{predicate} is a pure boolean function declared with the keyword
+@code{pred}. @xref{Ref.Item.Pred}.
 
 A @dfn{constraint} is a predicate applied to specific slots.