Changes in / [0a208b8:58ed882]


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/InitTweak/GenInit.cc

    r0a208b8 r58ed882  
    315315                for ( auto & tyDecl : functionDecl->get_functionType()->get_forall() ) {
    316316                        for ( DeclarationWithType *& assertion : tyDecl->get_assertions() ) {
    317                                 handleDWT( assertion );
     317                                assertion = assertion->acceptMutator( *this );
    318318                        }
    319319                }
Note: See TracChangeset for help on using the changeset viewer.