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

refactor(library/unifier): remove dead code

Browse source
This commit is contained in:
Leonardo de Moura 2015-03-03 20:14:17 -08:00
parent 6ad469e717
commit 341a9a2010
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/library/unifier.cpp
View file

@ -2238,9 +2238,6 @@ struct unifier_fn {
postpone(c); postpone(c);
return true; return true;
} }
// The following condition is "dead-code"
if (!m_config.m_expensive_classes && cidx >= get_group_first_index(cnstr_group::ClassInstance))
m_pattern = true; // use only higher-order (pattern) matching after we start processing class-instance constraints
// std::cout << "process_next: " << c << "\n"; // std::cout << "process_next: " << c << "\n";
m_cnstrs.erase_min(); m_cnstrs.erase_min();
if (is_choice_cnstr(c)) { if (is_choice_cnstr(c)) {