Changes in src/ControlStruct/LabelGenerator.h [27de955:843054c2]

File:

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

src/ControlStruct/LabelGenerator.h

@@ -9 +9 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jun 03 14:16:26 2015
-// Update Count     : 5
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue May 19 15:33:20 2015
+// Update Count     : 3
 //
 
@@ -18 +18 @@
 
 #include "SynTree/SynTree.h"
-#include <string>
 
 namespace ControlStruct {
@@ -24 +23 @@
           public:
                 static LabelGenerator *getGenerator();
-                Label newLabel(std::string suffix = "");
+                Label newLabel();
                 void reset() { current = 0; }
                 void rewind() { current--; }