From d39753685b1696864624df7692ebe489e5901108 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Thu, 8 Jul 2010 07:28:21 -0700 Subject: Doc tweak. --- doc/rust.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/rust.texi b/doc/rust.texi index 725ce572..b8a59a2b 100644 --- a/doc/rust.texi +++ b/doc/rust.texi @@ -444,9 +444,9 @@ each frame. The static calculation of the typestates of a program is a function-local dataflow problem, and handles user-defined predicates in a similar fashion to the way the type system permits user-defined types. -A short way of thinking of this is: types statically model the kinds of values -held in slots, typestates statically model @emph{assertions that hold} before -and after statements. +A short way of thinking of this is: types statically model values, +typestates statically model @emph{assertions that hold} before and +after statements. @end itemize -- cgit v1.2.3