Index: src/ControlStruct/MLEMutator.cc
===================================================================
--- src/ControlStruct/MLEMutator.cc	(revision 724c2b6f8ab60e02cc9a9c5872b23139ff804274)
+++ src/ControlStruct/MLEMutator.cc	(revision 7f5566b3fe2cd28774da6eb330d767776dd50ea4)
@@ -10,7 +10,14 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Sat Jun 27 10:56:14 2015
-// Update Count     : 174
-//
+// Last Modified On : Mon Jul 20 13:58:35 2015
+// Update Count     : 176
+//
+
+// NOTE: There are two known subtle differences from the code that uC++ 
+// generates for the same input
+// -CFA puts the break label inside at the end of a switch, uC++ puts it after
+// -CFA puts the break label after a block, uC++ puts it inside at the end
+// we don't yet know if these differences are important, but if they are then
+// the fix would go in this file, since this is where these labels are generated.
 
 #include <cassert>