Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/AlternativeFinder.cc

    r1e8f143 r8c84ebd  
    343343        }
    344344
     345        /// Adds type variables to the open variable set and marks their assertions
    345346        void makeUnifiableVars( Type *type, OpenVarSet &unifiableVars, AssertionSet &needAssertions ) {
    346347                for ( std::list< TypeDecl* >::const_iterator tyvar = type->get_forall().begin(); tyvar != type->get_forall().end(); ++tyvar ) {
Note: See TracChangeset for help on using the changeset viewer.