From 173e84c2994b6904332ab2f393e3566b13afdb0a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 3 Dec 2014 20:32:33 -0800 Subject: [PATCH] fix(tests/lean/struct_class): adjust test result to reflect recent changes --- tests/lean/struct_class.lean.expected.out | 2 ++ 1 file changed, 2 insertions(+) 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