Changes in src/ControlStruct/MLEMutator.cc [d62806c:397c101a]

File:

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

src/ControlStruct/MLEMutator.cc

@@ -9 +9 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Thr Jan 16 15:33:00 2020
-// Update Count     : 221
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Oct 22 17:22:44 2019
+// Update Count     : 220
 //
 
@@ -331 +331 @@
         }
 
-        void MLEMutator::premutate( FinallyStmt * ) {
-                GuardAction([this, old = std::move(enclosingControlStructures)]() {
-                        enclosingControlStructures = std::move(old);
-                });
-                enclosingControlStructures = std::list<Entry>();
-        }
-
         void MLEMutator::premutate( CaseStmt *caseStmt ) {
                 visit_children = false;