Changes in src/ControlStruct/module.mk [6e7e2b36:8688ce1]

File:

• src/ControlStruct/module.mk (modified) (2 diffs)

src/ControlStruct/module.mk

@@ -11 +11 @@
 ## Created On       : Mon Jun  1 17:49:17 2015
 ## Last Modified By : Peter A. Buhr
-## Last Modified On : Mon Jun  1 17:51:45 2015
-## Update Count     : 1
+## Last Modified On : Thu Aug  4 11:38:06 2016
+## Update Count     : 3
 ###############################################################################
 
@@ -18 +18 @@
         ControlStruct/LabelFixer.cc \
         ControlStruct/MLEMutator.cc \
-        ControlStruct/CaseRangeMutator.cc \
         ControlStruct/Mutate.cc \
-        ControlStruct/ChooseMutator.cc \
         ControlStruct/ForExprMutator.cc \
         ControlStruct/LabelTypeChecker.cc