Changes in src/ControlStruct/MLEMutator.cc [d180746:33c4b81]

File:

• src/ControlStruct/MLEMutator.cc (modified) (1 diff)

src/ControlStruct/MLEMutator.cc

@@ -20 +20 @@
 // where these labels are generated.
 
-#include <ext/alloc_traits.h>              // for __alloc_traits<>::value_type
-#include <algorithm>                       // for find, find_if
-#include <cassert>                         // for assert, assertf
-#include <memory>                          // for allocator_traits<>::value_...
-
-#include "Common/utility.h"                // for toString, operator+
-#include "ControlStruct/LabelGenerator.h"  // for LabelGenerator
+#include <cassert>
+#include <algorithm>
+
 #include "MLEMutator.h"
-#include "SynTree/Attribute.h"             // for Attribute
-#include "SynTree/Expression.h"            // for Expression
-#include "SynTree/Statement.h"             // for BranchStmt, CompoundStmt
+#include "SynTree/Statement.h"
+#include "SynTree/Expression.h"
+#include "SynTree/Attribute.h"
 
 namespace ControlStruct {