diff options
Diffstat (limited to 'components/devtools/lib.rs')
| -rw-r--r-- | components/devtools/lib.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/components/devtools/lib.rs b/components/devtools/lib.rs index 3552fa9948a..62ab676e3b7 100644 --- a/components/devtools/lib.rs +++ b/components/devtools/lib.rs @@ -21,7 +21,6 @@ extern crate collections; extern crate core; extern crate devtools_traits; extern crate serialize; -extern crate sync; extern crate "msg" as servo_msg; extern crate "util" as servo_util; @@ -42,7 +41,7 @@ use std::comm; use std::comm::{Disconnected, Empty}; use std::io::{TcpListener, TcpStream}; use std::io::{Acceptor, Listener, TimedOut}; -use sync::{Arc, Mutex}; +use std::sync::{Arc, Mutex}; mod actor; /// Corresponds to http://mxr.mozilla.org/mozilla-central/source/toolkit/devtools/server/actors/ |