Enable smack to build when building a no-std crate

keram88 · keram88 · commit 29461c2cfbce · 2019-05-08T19:56:16.000-06:00
diff --git a/share/smack/lib/smack.rs b/share/smack/lib/smack.rs
@@ -97,6 +97,7 @@ make_nondet!(usize, __VERIFIER_nondet_unsigned_long_long);
 
 
 #[cfg(not(verifier = "smack"))]
+#[cfg(feature = "std")]
 #[allow(dead_code)]
 use std::Vec;
 /* Vector class.
