diff --git a/lib/codegen/src/print_errors.rs b/lib/codegen/src/print_errors.rs
index 03ba2457a1..3d012ad8fd 100644
--- a/lib/codegen/src/print_errors.rs
+++ b/lib/codegen/src/print_errors.rs
@@ -9,6 +9,7 @@ use std::boxed::Box;
 use std::fmt;
 use std::fmt::Write;
 use std::string::{String, ToString};
+use std::vec::Vec;
 use verifier::{VerifierError, VerifierErrors};
 use write::{decorate_function, FuncWriter, PlainWriter};