Changes in src/ControlStruct/LabelGenerator.cc [888cbe4:de62360d]

File:

• src/ControlStruct/LabelGenerator.cc (modified) (3 diffs)

src/ControlStruct/LabelGenerator.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// LabelGenerator.cc --
+// LabelGenerator.cc -- 
 //
 // Author           : Rodolfo G. Esteves
@@ -18 +18 @@
 
 #include "LabelGenerator.h"
-#include "SynTree/Label.h"
-#include "SynTree/Attribute.h"
 
 namespace ControlStruct {
@@ -35 +33 @@
                 os << "__L" << current++ << "__" << suffix;
                 std::string ret = os.str();
-                Label l( ret );
-                l.get_attributes().push_back( new Attribute("unused") );
-                return l;
+                return Label( ret );
         }
 } // namespace ControlStruct