lean2/tests
Leonardo de Moura e55fb4f165 fix(tests/lean): adjust expected results, the new result is also acceptable
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-10-24 17:54:09 -07:00
..
lean fix(tests/lean): adjust expected results, the new result is also acceptable 2013-10-24 17:54:09 -07:00