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

fix(kernel/environment): is_descendant optimization

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-05-08 18:48:25 -07:00
parent c843243f64
commit fca65a9d69
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/kernel/environment.cpp
View file

@ -35,7 +35,7 @@ bool environment_id::is_descendant(environment_id const & id) const {
while (!is_nil(*it)) { while (!is_nil(*it)) {
if (is_eqp(*it, id.m_trail)) if (is_eqp(*it, id.m_trail))
return true; return true;
if (car(*it) >= car(id.m_trail)) if (car(*it) < car(id.m_trail))
return false; return false;
it = &cdr(*it); it = &cdr(*it);
} }