test: Make manual changes to deal with the fallout from removal of

[rust.git] / src / test / run-pass / nullable-pointer-iotareduction.rs

diff --git a/src/test/run-pass/nullable-pointer-iotareduction.rs b/src/test/run-pass/nullable-pointer-iotareduction.rs
index 117cd6d572ee06e071abf40c91a1a184c866f80b..c071983fdf334333d51755e77236da28654137ce 100644 (file)
--- a/src/test/run-pass/nullable-pointer-iotareduction.rs
+++ b/src/test/run-pass/nullable-pointer-iotareduction.rs
@@ -11,6 +11,7 @@
 #[feature(macro_rules)];
 
 use std::{option, cast};
+use std::vec_ng::Vec;
 
 // Iota-reduction is a rule in the Calculus of (Co-)Inductive Constructions,
 // which "says that a destructor applied to an object built from a constructor