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

chore(library/compiler/llnf): typo

Browse source
This commit is contained in:
Leonardo de Moura 2018-10-31 13:03:25 -07:00
parent 12a01d101c
commit 39c2ee2931
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/compiler/llnf.cpp
View file

@ -503,7 +503,7 @@ class to_llnf_fn {
modified = true;
arg = new_arg;
}
/* We assume that `m_major` has be reused IF it was reused in one of the branches. */
/* We assume that `m_major` has been reused IF it was reused in one of the branches. */
m_replaced = new_replaced;
return modified ? mk_app(fn, args) : e;
} else {