From e580e6cdb1b081ecf2bbc4f93459fa1f66992ed6 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 18 Nov 2015 10:10:46 -0800 Subject: [PATCH] fix(tests/lean/interactive/findp): adjust test --- tests/lean/interactive/findp.input.expected.out | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/lean/interactive/findp.input.expected.out b/tests/lean/interactive/findp.input.expected.out index 20ca40ef79..eb6cf11c9c 100644 --- a/tests/lean/interactive/findp.input.expected.out +++ b/tests/lean/interactive/findp.input.expected.out @@ -9,6 +9,7 @@ false.rec_on|Π (C : Type), false → C false_iff_true|false ↔ true ↔ false false.cases_on|Π (C : Type), false → C false.induction_on|∀ (C : Prop), false → C +false_of_true_iff_false|(true ↔ false) → false true_ne_false|¬true = false nat.lt_self_iff_false|∀ (n : ℕ), n < n ↔ false true_iff_false|true ↔ false ↔ false