Index: src/SynTree/Label.h
===================================================================
--- src/SynTree/Label.h	(revision 7bf7fb911dd8bbefbe1a0091ca8f612e760c47dd)
+++ src/SynTree/Label.h	(revision d1625f82c40dd212bed00f86dad00c157f461b77)
@@ -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
 //