---

yaml
---
r: 3619
b: refs/heads/master
c: ec634e4
h: refs/heads/master
i:
  3617: c2d7365
  3615: ffe99b6
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: cfc659009e7eb23dfb6ad4c49e836cad9f350c61
+refs/heads/master: ec634e471f78c2481ef407cfd85f7dadad605048

trunk/src/comp/middle/tstate/ann.rs

@@ -1,5 +1,4 @@
 
-import std::vec;
 import tritv::*;
 
 type precond = t;

trunk/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; }
     }