Fix a few declarations for the no_std build.

This commit is contained in:
Dan Gohman
2018-08-14 12:48:47 -07:00
parent 6cf7a975a1
commit 932b4ef9f3

View File

@@ -9,6 +9,7 @@ use std::boxed::Box;
use std::fmt; use std::fmt;
use std::fmt::Write; use std::fmt::Write;
use std::string::{String, ToString}; use std::string::{String, ToString};
use std::vec::Vec;
use verifier::{VerifierError, VerifierErrors}; use verifier::{VerifierError, VerifierErrors};
use write::{decorate_function, FuncWriter, PlainWriter}; use write::{decorate_function, FuncWriter, PlainWriter};