diff --git a/src/kernel/diff_cnstrs.cpp b/src/kernel/diff_cnstrs.cpp
index 6073402a7..ebab6ef69 100644
--- a/src/kernel/diff_cnstrs.cpp
+++ b/src/kernel/diff_cnstrs.cpp
@@ -1,5 +1,5 @@
 /*
-Copyright (c) 2013 Microsoft Corporation. All rights reserved.
+Copyright (c) 2014 Microsoft Corporation. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
diff --git a/src/kernel/diff_cnstrs.h b/src/kernel/diff_cnstrs.h
index 4efdb0dcc..7748fb85c 100644
--- a/src/kernel/diff_cnstrs.h
+++ b/src/kernel/diff_cnstrs.h
@@ -1,5 +1,5 @@
 /*
-Copyright (c) 2013 Microsoft Corporation. All rights reserved.
+Copyright (c) 2014 Microsoft Corporation. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura