Changes in src/InitTweak/GenInit.cc [3a5131ed:092528b]

File:

• src/InitTweak/GenInit.cc (modified) (2 diffs)

src/InitTweak/GenInit.cc

@@ -9 +9 @@
 // Author           : Rob Schluntz
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb 16 14:57:53 2017
-// Update Count     : 167
+// Last Modified By : Rob Schluntz
+// Last Modified On : Fri May 13 11:37:48 2016
+// Update Count     : 166
 //
 
@@ -320 +320 @@
                 }
                 // parameters should not be constructed and destructed, so don't mutate FunctionType
+                mutateAll( functionDecl->get_oldDecls(), *this );
                 functionDecl->set_statements( maybeMutate( functionDecl->get_statements(), *this ) );