Changes in / [58ed882:0a208b8]


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/InitTweak/GenInit.cc

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