From cbca84a8ead4b245c8989614ccfdc0d1a6fa2c8a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 30 May 2017 13:05:37 -0700 Subject: [PATCH] chore(library/init/data/nat/bitwise): fix copyright date --- library/init/data/nat/bitwise.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/init/data/nat/bitwise.lean b/library/init/data/nat/bitwise.lean index ccfadaa3d5..b5811df056 100644 --- a/library/init/data/nat/bitwise.lean +++ b/library/init/data/nat/bitwise.lean @@ -1,5 +1,5 @@ /- -Copyright (c) 2014 Microsoft Corporation. All rights reserved. +Copyright (c) 2017 Microsoft Corporation. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. Author: Mario Carneiro -/