Ignore:
Timestamp:
Feb 14, 2019, 11:14:50 AM (3 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
no_list
Children:
99614c2
Parents:
8d25360
Message:

Forall list now uses vector

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/Unify.cc

    r8d25360 r80eefcb  
    282282
    283283        void markAssertions( AssertionSet &assertion1, AssertionSet &assertion2, Type *type ) {
    284                 for ( std::list< TypeDecl* >::const_iterator tyvar = type->get_forall().begin(); tyvar != type->get_forall().end(); ++tyvar ) {
    285                         for ( std::list< DeclarationWithType* >::const_iterator assert = (*tyvar)->get_assertions().begin(); assert != (*tyvar)->get_assertions().end(); ++assert ) {
    286                                 markAssertionSet( assertion1, *assert );
    287                                 markAssertionSet( assertion2, *assert );
     284                for ( auto tyvar : type->get_forall() ) {
     285                        for ( auto assert : tyvar->get_assertions() ) {
     286                                markAssertionSet( assertion1, assert );
     287                                markAssertionSet( assertion2, assert );
    288288                        } // for
    289289                } // for
Note: See TracChangeset for help on using the changeset viewer.