diff --git a/tests/lean/struct_class.lean.expected.out b/tests/lean/struct_class.lean.expected.out
index 747537c33..7bcd58376 100644
--- a/tests/lean/struct_class.lean.expected.out
+++ b/tests/lean/struct_class.lean.expected.out
@@ -1,10 +1,12 @@
 decidable : Prop → Type₁
 inhabited : Type → Type
+measurable : Type → Type
 nonempty : Type → Prop
 point : Type → Type → Type
 well_founded : Π {A : Type}, (A → A → Prop) → Prop
 decidable : Prop → Type₁
 inhabited : Type → Type
+measurable : Type → Type
 nonempty : Type → Prop
 point : Type → Type → Type
 well_founded : Π {A : Type}, (A → A → Prop) → Prop