From 5739e0be0176941084baa337ba9dfec97f9af009 Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Tue, 5 Jul 2011 13:50:51 -0700
Subject: [PATCH] rustc: Remove some unused references to std::vec from
 tstate::ann and tstate::auxiliary

---
 src/comp/middle/tstate/ann.rs       | 1 -
 src/comp/middle/tstate/auxiliary.rs | 6 +-----
 2 files changed, 1 insertion(+), 6 deletions(-)

diff --git a/src/comp/middle/tstate/ann.rs b/src/comp/middle/tstate/ann.rs
index aa9267656e4..0618bae7e3e 100644
--- a/src/comp/middle/tstate/ann.rs
+++ b/src/comp/middle/tstate/ann.rs
@@ -1,5 +1,4 @@
 
-import std::vec;
 import tritv::*;
 
 type precond = t;
diff --git a/src/comp/middle/tstate/auxiliary.rs b/src/comp/middle/tstate/auxiliary.rs
index 861a0a945b6..07e4513626a 100644
--- a/src/comp/middle/tstate/auxiliary.rs
+++ b/src/comp/middle/tstate/auxiliary.rs
@@ -1,9 +1,5 @@
 import std::ivec;
 import std::str;
-import std::vec;
-import std::vec::len;
-import std::vec::grow;
-import std::vec::pop;
 import std::option;
 import std::option::none;
 import std::option::some;
@@ -645,7 +641,7 @@ fn substitute_arg(&ty::ctxt cx, &(@expr)[] actuals, @constr_arg a) ->
 }
 
 fn path_to_ident(&ty::ctxt cx, &path p) -> ident {
-    alt (vec::last(p.node.idents)) {
+    alt (std::vec::last(p.node.idents)) {
         case (none) { cx.sess.span_fatal(p.span, "Malformed path"); }
         case (some(?i)) { ret i; }
     }