From 63e42a8179384efcf412b949dbb8dd8aaf65e833 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sat, 19 Mar 2022 08:44:21 -0700
Subject: [PATCH] chore: fix copyright date

File was created in 2022.
---
 src/Init/WFTactics.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Init/WFTactics.lean b/src/Init/WFTactics.lean
index e328784cca..f6095f60a4 100644
--- a/src/Init/WFTactics.lean
+++ b/src/Init/WFTactics.lean
@@ -1,5 +1,5 @@
 /-
-Copyright (c) 2014 Microsoft Corporation. All rights reserved.
+Copyright (c) 2022 Microsoft Corporation. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 -/