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

feat(frontends/lean/pp): add check_system at pretty printer

Browse source
This commit is contained in:
Leonardo de Moura 2015-04-27 14:21:53 -07:00
parent a3c3a94a51
commit bdef7aaf40
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/frontends/lean/pp.cpp
View file

@ -1136,6 +1136,7 @@ static bool is_pp_atomic(expr const & e) {
}
auto pretty_fn::pp(expr const & e, bool ignore_hide) -> result {
check_system("pretty printer");
if ((m_depth >= m_max_depth ||
m_num_steps > m_max_steps ||
(m_hide_full_terms && !ignore_hide && !has_expr_metavar_relaxed(e))) &&