Changes in src/ControlStruct/LabelGenerator.cc [35a2d47:21f0aa8]

File:

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

src/ControlStruct/LabelGenerator.cc

@@ -9 +9 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Mar 11 22:23:20 2019
-// Update Count     : 15
+// Last Modified By : Andrew Beach
+// Last Modified On : Thr Aug 14 14:14:00 2015
+// Update Count     : 14
 //
 
@@ -24 +24 @@
 
 namespace ControlStruct {
-        LabelGenerator * LabelGenerator::labelGenerator = 0;
+        LabelGenerator *LabelGenerator::labelGenerator = 0;
 
-        LabelGenerator * LabelGenerator::getGenerator() {
+        LabelGenerator *LabelGenerator::getGenerator() {
                 if ( LabelGenerator::labelGenerator == 0 )
                         LabelGenerator::labelGenerator = new LabelGenerator();
+
                 return labelGenerator;
         }
@@ -37 +38 @@
                 if ( stmt && ! stmt->get_labels().empty() ) {
                         os << "_" << stmt->get_labels().front() << "__";
-                } // if
+                }
                 std::string ret = os.str();
                 Label l( ret );