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

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 : Peter A. Buhr
-// Last Modified On : Tue Jul 12 17:38:46 2016
-// Update Count     : 2
+// Last Modified By : Aaron B. Moss
+// Last Modified On : Fri Nov 27 14:44:00 2015
+// Update Count     : 1
 //
 
@@ -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 ) );