Changes in src/GenPoly/DeclMutator.cc [8688ce1:4e06c1e]

File:

• src/GenPoly/DeclMutator.cc (modified) (2 diffs)

src/GenPoly/DeclMutator.cc

@@ -10 +10 @@
 // Created On       : Fri Nov 27 14:44:00 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Aug  4 11:16:43 2016
-// Update Count     : 3
+// Last Modified On : Tue Jul 12 17:38:46 2016
+// Update Count     : 2
 //
 
@@ -163 +163 @@
         Statement* DeclMutator::mutate(SwitchStmt *switchStmt) {
                 switchStmt->set_condition( maybeMutate( switchStmt->get_condition(), *this ) );
-                mutateAll( switchStmt->get_statements(), *this );
+                mutateAll( switchStmt->get_branches(), *this );
                 return switchStmt;
         }