diff --git a/example/mini_core.rs b/example/mini_core.rs
index 3607b7cd944..a79909ce0c8 100644
--- a/example/mini_core.rs
+++ b/example/mini_core.rs
@@ -104,9 +104,6 @@ unsafe impl<T: ?Sized> Freeze for &mut T {}
 #[lang = "structural_peq"]
 pub trait StructuralPartialEq {}
 
-#[lang = "structural_teq"]
-pub trait StructuralEq {}
-
 #[lang = "not"]
 pub trait Not {
     type Output;