Changes in / [64fc0ba:e883a4b]


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/InitTweak/GenInit.cc

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