Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/GenPoly/Specialize.cc

    r3100754 ra8b87d3  
    247247                        structureArg( (*actualBegin)->get_type(), argBegin, argEnd, back_inserter( appExpr->get_args() ) );
    248248                }
     249                assertf( argBegin == argEnd, "Did not structure all arguments." );
    249250
    250251                appExpr->env = TypeSubstitution::newFromExpr( appExpr, env );
Note: See TracChangeset for help on using the changeset viewer.