From c104009ef65e34d473dc319bcf2b200787410ea9 Mon Sep 17 00:00:00 2001 From: Gav Wood Date: Mon, 11 Jan 2016 17:38:28 +0100 Subject: [PATCH] Additional standard.rs. --- src/standard.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/standard.rs b/src/standard.rs index dfdf4488b..07865f8ec 100644 --- a/src/standard.rs +++ b/src/standard.rs @@ -2,6 +2,10 @@ pub use std::io; pub use std::str; pub use std::fmt; pub use std::slice; +pub use std::cmp; +pub use std::ptr; +pub use std::result; +pub use std::option; pub use std::path::Path; pub use std::str::{FromStr};