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

File:

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

src/GenPoly/DeclMutator.cc

@@ -9 +9 @@
 // Author           : Aaron B. Moss
 // Created On       : Fri Nov 27 14:44:00 2015
-// Last Modified By : Aaron B. Moss
-// Last Modified On : Fri Nov 27 14:44:00 2015
-// Update Count     : 1
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Jul 12 17:38:46 2016
+// Update Count     : 2
 //
 
@@ -167 +167 @@
         }
         
-        Statement* DeclMutator::mutate(ChooseStmt *chooseStmt) {
-                chooseStmt->set_condition( maybeMutate( chooseStmt->get_condition(), *this ) );
-                mutateAll( chooseStmt->get_branches(), *this );
-                return chooseStmt;
-        }
-        
         Statement* DeclMutator::mutate(CaseStmt *caseStmt) {
                 caseStmt->set_condition( maybeMutate( caseStmt->get_condition(), *this ) );