From b961956ea5885a25906f71b0ad638ba03f1f1ea7 Mon Sep 17 00:00:00 2001
From: edef <edef@edef.eu>
Date: Thu, 25 Dec 2014 11:50:35 +0100
Subject: [PATCH] Rust updates (MapOption fixes)

---
 src/platform.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/platform.rs b/src/platform.rs
index e3be6da..76a71ba 100644
--- a/src/platform.rs
+++ b/src/platform.rs
@@ -1,8 +1,8 @@
 extern crate libc;
 extern crate std;
 use self::std::prelude::*;
-use self::std::os::{errno, page_size, MemoryMap, MapReadable, MapWritable,
-                    MapNonStandardFlags};
+use self::std::os::{errno, page_size, MemoryMap};
+use self::std::os::MapOption::{MapReadable, MapWritable, MapNonStandardFlags};
 
 extern "C" {
   #[link_name = "lwt_stack_register"]