Changeset 80eefcb for src/ResolvExpr

Timestamp:

Feb 14, 2019, 11:14:50 AM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

no_list

Children:

99614c2

Parents:

8d25360

Message:

Forall list now uses vector

File:

• src/ResolvExpr/Unify.cc (modified) (1 diff)

src/ResolvExpr/Unify.cc

@@ -282 +282 @@
 
         void markAssertions( AssertionSet &assertion1, AssertionSet &assertion2, Type *type ) {
-                for ( std::list< TypeDecl* >::const_iterator tyvar = type->get_forall().begin(); tyvar != type->get_forall().end(); ++tyvar ) {
-                        for ( std::list< DeclarationWithType* >::const_iterator assert = (*tyvar)->get_assertions().begin(); assert != (*tyvar)->get_assertions().end(); ++assert ) {
-                                markAssertionSet( assertion1, *assert );
-                                markAssertionSet( assertion2, *assert );
+                for ( auto tyvar : type->get_forall() ) {
+                        for ( auto assert : tyvar->get_assertions() ) {
+                                markAssertionSet( assertion1, assert );
+                                markAssertionSet( assertion2, assert );
                         } // for
                 } // for