Index: src/ControlStruct/module.mk
===================================================================
--- src/ControlStruct/module.mk	(revision be5aa1bdda2dce427692030b8a71558b7cec35cb)
+++ src/ControlStruct/module.mk	(revision 5cb5f842b3a6b217c0d43c78383ba66bb7658282)
@@ -1,4 +1,4 @@
 SRC +=  ControlStruct/LabelGenerator.cc \
-        ControlStruct/LabelFixer.cc \
+	ControlStruct/LabelFixer.cc \
         ControlStruct/MLEMutator.cc \
 	ControlStruct/CaseRangeMutator.cc \
@@ -6,5 +6,4 @@
 	ControlStruct/ChooseMutator.cc \
 	ControlStruct/ForExprMutator.cc \
-	ControlStruct/LabelTypeChecker.cc \
-	$(NULL)
+	ControlStruct/LabelTypeChecker.cc