Merge pull request #439 from smackers/rust-nostd

zvonimir · web-flow · commit d99014230f8f · 2019-05-09T10:28:59.000+02:00
Enable SMACK to build a no-std Rust crate
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.
