Changes in src/GenPoly/CopyParams.cc [8c49c0e:6943f051]

File:

• src/GenPoly/CopyParams.cc (modified) (1 diff)

src/GenPoly/CopyParams.cc

@@ -54 +54 @@
                                 std::map< std::string, DeclarationWithType* > assignOps;
                                 // assume the assignment operator is the first assert param after any "type" parameter
-                                for ( Type::ForallList::const_iterator tyVar = funcDecl->get_functionType()->get_forall().begin(); tyVar != funcDecl->get_functionType()->get_forall().end(); ++tyVar ) {
+                                for ( std::list< TypeDecl* >::const_iterator tyVar = funcDecl->get_functionType()->get_forall().begin(); tyVar != funcDecl->get_functionType()->get_forall().end(); ++tyVar ) {
                                         if ( (*tyVar)->get_kind() == TypeDecl::Any ) {
                                                 assert( !(*tyVar)->get_assertions().empty() );