# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1333055714 14400
# Node ID e23d41ae63be71a92cba48d118a986192a662c5a
# Parent  6413675f8e04ca8cf849ff6a8b5a223dc82a047f
Date increment

diff -r 6413675f8e04 -r e23d41ae63be src/Reflection.v
--- a/src/Reflection.v	Thu Mar 29 17:13:23 2012 -0400
+++ b/src/Reflection.v	Thu Mar 29 17:15:14 2012 -0400
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008-2011, Adam Chlipala
+(* Copyright (c) 2008-2012, Adam Chlipala
  * 
  * This work is licensed under a
  * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0