Changeset 9feb34b for src/ControlStruct

Timestamp:

Mar 29, 2023, 11:07:03 AM (14 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master

Children:

afdb74b

Parents:

60380a1

Message:

Moved toString and toCString to a new header. Updated includes. cassert was somehow getting instances of toString before but that stopped working so I embedded the new smaller include.

Location:

src/ControlStruct

Files:

• ExceptDeclNew.cpp (modified) (1 diff)
• MLEMutator.cc (modified) (1 diff)

src/ControlStruct/ExceptDeclNew.cpp

@@ -15 +15 @@
 
 #include "ExceptDecl.h"
+
+#include <sstream>
 
 #include "AST/Decl.hpp"

src/ControlStruct/MLEMutator.cc

@@ -25 +25 @@
 #include <memory>                          // for allocator_traits<>::value_...
 
-#include "Common/utility.h"                // for toString, operator+
+#include "Common/ToString.hpp"             // for toString
 #include "ControlStruct/LabelGenerator.h"  // for LabelGenerator
 #include "MLEMutator.h"