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

test(library/simplifier): fix name in test

Browse source
This commit is contained in:
Daniel Selsam 2015-11-07 15:41:06 -08:00 committed by Leonardo de Moura
parent f3caeb77cd
commit 049f52bfe9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -10,7 +10,7 @@ simplification rules for iff
#1, 0 < succ ?M_1 ↦ true
simplification rules for eq
#1, g ?M_1 ↦ f ?M_1 + 1
#2, g ?M_1 ↦ 1
#2, g ?M_3 ↦ 1
#2, f ?M_1 ↦ 0
#4, ite ?M_1 ?M_4 ?M_4 ↦ ?M_4
#1, 0 - ?M_1 ↦ 0