---

yaml
---
r: 3654
b: refs/heads/master
c: 5739e0b
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: abab04635afa5f9d26799d2d2ae4e4bcc521f419
+refs/heads/master: 5739e0be0176941084baa337ba9dfec97f9af009

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