From 932b4ef9f37bb31dc7617104a5e358da9e42210c Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Tue, 14 Aug 2018 12:48:47 -0700
Subject: [PATCH] Fix a few declarations for the `no_std` build.

---
 lib/codegen/src/print_errors.rs | 1 +
 1 file changed, 1 insertion(+)

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