Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/AlternativeFinder.cc

    r396037d r99d4584  
    266266                        SemanticError( expr, "No reasonable alternatives for expression " );
    267267                }
    268                 if ( mode.satisfyAssns || mode.prune ) {
     268                if ( mode.resolveAssns || mode.prune ) {
    269269                        // trim candidates just to those where the assertions resolve
    270270                        // - necessary pre-requisite to pruning
Note: See TracChangeset for help on using the changeset viewer.