Leonardo de Moura 3fa487c153 fix(frontends/lean/decl_util): as-is annotation was leaking into elaborated terms ... @kha This commit fixes the repro you sent me. Could you please check whether it also fixes the original file?		2018-01-30 12:48:48 -08:00
..
lean	fix(frontends/lean/decl_util): as-is annotation was leaking into elaborated terms	2018-01-30 12:48:48 -08:00
.gitignore