Changes in src/ControlStruct/MLEMutator.cc [4e06c1e:adcc065]

File:

• src/ControlStruct/MLEMutator.cc (modified) (2 diffs)

src/ControlStruct/MLEMutator.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jul 12 17:36:51 2016
-// Update Count     : 197
+// Last Modified On : Wed Jul  6 17:40:02 2016
+// Update Count     : 196
 //
 
@@ -248 +248 @@
                 return handleSwitchStmt( switchStmt );
         }
+
+        Statement *MLEMutator::mutate( ChooseStmt *switchStmt ) {
+                return handleSwitchStmt( switchStmt );
+        }
 } // namespace ControlStruct