Changes in src/ResolvExpr/FindOpenVars.cc [8c49c0e:843054c2]

File:

• src/ResolvExpr/FindOpenVars.cc (modified) (3 diffs)

src/ResolvExpr/FindOpenVars.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// FindOpenVars.cc --
+// FindOpenVars.cc -- 
 //
 // Author           : Richard C. Bilson
@@ -47 +47 @@
         void FindOpenVars::common_action( Type *type ) {
                 if ( nextIsOpen ) {
-                        for ( Type::ForallList::const_iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
+                        for ( std::list< TypeDecl* >::const_iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
                                 openVars[ (*i)->get_name() ] = (*i)->get_kind();
                                 for ( std::list< DeclarationWithType* >::const_iterator assert = (*i)->get_assertions().begin(); assert != (*i)->get_assertions().end(); ++assert ) {
@@ -56 +56 @@
                         }
                 } else {
-                        for ( Type::ForallList::const_iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
+                        for ( std::list< TypeDecl* >::const_iterator i = type->get_forall().begin(); i != type->get_forall().end(); ++i ) {
                                 closedVars[ (*i)->get_name() ] = (*i)->get_kind();
                                 for ( std::list< DeclarationWithType* >::const_iterator assert = (*i)->get_assertions().begin(); assert != (*i)->get_assertions().end(); ++assert ) {