michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(tests/lean/struct_class): adjust test result to reflect recent changes

Browse source
This commit is contained in:
Leonardo de Moura 2014-12-03 20:32:33 -08:00
parent e52157a8ea
commit 173e84c299
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/lean/struct_class.lean.expected.out
View file

@ -1,10 +1,12 @@
decidable : Prop → Type₁ decidable : Prop → Type₁
inhabited : Type → Type inhabited : Type → Type
measurable : Type → Type
nonempty : Type → Prop nonempty : Type → Prop
point : Type → Type → Type point : Type → Type → Type
well_founded : Π {A : Type}, (A → A → Prop) → Prop well_founded : Π {A : Type}, (A → A → Prop) → Prop
decidable : Prop → Type₁ decidable : Prop → Type₁
inhabited : Type → Type inhabited : Type → Type
measurable : Type → Type
nonempty : Type → Prop nonempty : Type → Prop
point : Type → Type → Type point : Type → Type → Type
well_founded : Π {A : Type}, (A → A → Prop) → Prop well_founded : Π {A : Type}, (A → A → Prop) → Prop