max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/defeq_canonizer): typo

Browse source
This commit is contained in:
Leonardo de Moura 2016-06-24 14:02:26 -07:00
parent 085c52938e
commit feb9f13d5f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/defeq_canonizer.cpp
View file

@ -81,7 +81,7 @@ struct defeq_canonize_fn {
void insert_M(name const & h, expr const & e) {
list<expr> const * lst = m_cache.m_M.find(h);
if (*lst) {
if (lst) {
m_cache.m_M.insert(h, cons(e, *lst));
} else {
m_cache.m_M.insert(h, to_list(e));