From 71297a5e178e3f616f3502ac1a365a33c8f20bb8 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Mon, 12 Sep 2011 14:17:19 -0700 Subject: [PATCH] Remove redundant line. --- doc/rust.texi | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/rust.texi b/doc/rust.texi index 175552bc42f..b316eab8ccf 100644 --- a/doc/rust.texi +++ b/doc/rust.texi @@ -2636,7 +2636,6 @@ let rng2: ordered_range = @{low: 15, high: 17@}; -* Ref.Typestate:: The static system of predicate analysis. @node Ref.Typestate @section Ref.Typestate @c * Ref.Typestate:: The static system of predicate analysis.