Index: src/SynTree/Label.h
===================================================================
--- src/SynTree/Label.h	(revision 7bf7fb911dd8bbefbe1a0091ca8f612e760c47dd)
+++ src/SynTree/Label.h	(revision 79841be91c84428055cbee2c6670f4b434b5edd6)
@@ -9,7 +9,7 @@
 // Author           : Rob Schluntz
 // Created On       : Wed Jun 8 12:53:12 2016
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jun 8 12:53:28 2016
-// Update Count     : 1
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sun Aug  7 14:44:29 2016
+// Update Count     : 2
 //