diff options
| author | Ms2ger <ms2ger@gmail.com> | 2015-01-02 12:45:28 +0100 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2015-01-08 09:58:46 -0500 |
| commit | 16c7060bc8ff91527ae97f8a3feee5706747b9c5 (patch) | |
| tree | 0cc29f2cc50c729d3a8f9521a22991fad67b9afd /components/script/dom/htmlmediaelement.rs | |
| parent | cf616b90a236f88058dbad74b568b4d4379d2829 (diff) | |
| download | servo-16c7060bc8ff91527ae97f8a3feee5706747b9c5.tar.gz servo-16c7060bc8ff91527ae97f8a3feee5706747b9c5.zip | |
Update rustc to revision 2cfb5acb5a2751c759627377e602bac4f88f2d19.
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index 9346436eeb7..ea8dcfa4041 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -38,7 +38,7 @@ impl HTMLMediaElement { } } -#[deriving(PartialEq, Show)] +#[deriving(Copy, PartialEq, Show)] #[jstraceable] pub enum HTMLMediaElementTypeId { HTMLAudioElement, |