Changes in src/ControlStruct/LabelFixer.h [1869adf:2871210]

File:

• src/ControlStruct/LabelFixer.h (modified) (2 diffs)

src/ControlStruct/LabelFixer.h

@@ -9 +9 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Tue Jun 23 15:47:25 2015
-// Update Count     : 28
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Mon Jun 29 17:24:39 2015
+// Update Count     : 29
 //
 
@@ -94 +94 @@
                         }
 
-                        void add_uses ( Entry &other ) { usage.insert( usage.end(), other.usage.begin(), usage.end() ); }
+                        void add_uses ( Entry &other ) { usage.insert( usage.end(), other.usage.begin(), other.usage.end() ); }
                   private:
                         Label label;