diff --git a/ports/jniapi/src/gl_glue.rs b/ports/jniapi/src/gl_glue.rs index a222a5d797d..bfff1d9436c 100644 --- a/ports/jniapi/src/gl_glue.rs +++ b/ports/jniapi/src/gl_glue.rs @@ -2,8 +2,6 @@ * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at https://mozilla.org/MPL/2.0/. */ -#![allow(bare_trait_objects)] // Until https://github.com/brendanzab/gl-rs/pull/493 - // pub type ServoGl = std::rc::Rc; #[cfg(any(target_os = "android", target_os = "windows"))]