Changes in / [e883a4b:64fc0ba]


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/InitTweak/GenInit.cc

    re883a4b r64fc0ba  
    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.