Changes in / [0a208b8:58ed882]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/InitTweak/GenInit.cc
r0a208b8 r58ed882 315 315 for ( auto & tyDecl : functionDecl->get_functionType()->get_forall() ) { 316 316 for ( DeclarationWithType *& assertion : tyDecl->get_assertions() ) { 317 handleDWT( assertion);317 assertion = assertion->acceptMutator( *this ); 318 318 } 319 319 }
Note: See TracChangeset
for help on using the changeset viewer.