Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/AlternativeFinder.cc

    r8c84ebd r1e8f143  
    343343        }
    344344
    345         /// Adds type variables to the open variable set and marks their assertions
    346345        void makeUnifiableVars( Type *type, OpenVarSet &unifiableVars, AssertionSet &needAssertions ) {
    347346                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.