Index: src/ControlStruct/LabelFixer.h
===================================================================
--- src/ControlStruct/LabelFixer.h	(revision 1869adf4f0d1d49e336dd8261e524773d7d9c864)
+++ src/ControlStruct/LabelFixer.h	(revision 2871210d7be1910f7296a17164d525f66ef82648)
@@ -9,7 +9,7 @@
 // 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,5 +94,5 @@
 			}
 
-			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;