diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-01-03 14:39:46 -0700 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-01-03 14:39:46 -0700 |
| commit | e8fac3681b690adb0796b2a807ac95bd9c13597a (patch) | |
| tree | b8ad816b28494d51229edb93f4459d092ac9d92d /components/script/devtools.rs | |
| parent | d8b6cec722e67f1fd39f154f4f0a298f2227501f (diff) | |
| parent | d5c64f7f30054996e4db70d59cc6fb34e0be987d (diff) | |
| download | servo-e8fac3681b690adb0796b2a807ac95bd9c13597a.tar.gz servo-e8fac3681b690adb0796b2a807ac95bd9c13597a.zip | |
auto merge of #4535 : servo/servo/pre-rustup_20141221, r=jdm
This prepares for the rust upgrade currently being conducted.
Diffstat (limited to 'components/script/devtools.rs')
| -rw-r--r-- | components/script/devtools.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/devtools.rs b/components/script/devtools.rs index c2f0957f9ec..ed03130397a 100644 --- a/components/script/devtools.rs +++ b/components/script/devtools.rs @@ -77,7 +77,7 @@ fn find_node_by_unique_id(page: &Rc<Page>, pipeline: PipelineId, node_id: String } } - panic!("couldn't find node with unique id {:s}", node_id) + panic!("couldn't find node with unique id {}", node_id) } pub fn handle_get_children(page: &Rc<Page>, pipeline: PipelineId, node_id: String, reply: Sender<Vec<NodeInfo>>) { |