From df406b996b21107941aaa059868b1058218975e6 Mon Sep 17 00:00:00 2001
From: Jinwoo Song <jinwoo7.song@samsung.com>
Date: Fri, 24 Apr 2015 10:19:16 +0900
Subject: [PATCH] Remove unused ScriptDevtoolControlMsg enum

---
 components/devtools_traits/lib.rs | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/components/devtools_traits/lib.rs b/components/devtools_traits/lib.rs
index c77fb34c6ee5..659c6983e368 100644
--- a/components/devtools_traits/lib.rs
+++ b/components/devtools_traits/lib.rs
@@ -119,13 +119,6 @@ pub enum DevtoolScriptControlMsg {
     DropTimelineMarkers(PipelineId, Vec<TimelineMarkerType>),
 }
 
-/// Messages to instruct devtools server to update its state relating to a particular
-/// tab.
-pub enum ScriptDevtoolControlMsg {
-    /// Report a new JS error message
-    ReportConsoleMsg(String),
-}
-
 #[derive(RustcEncodable)]
 pub struct Modification{
     pub attributeName: String,