From a430b2ad714ace2ff550380fec89d2fb3bbf9db6 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 24 Feb 2022 11:42:18 -0800
Subject: [PATCH] chore: add copyright

---
 src/Lean/Meta/Tactic/LinearArith/Basic.lean | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/Lean/Meta/Tactic/LinearArith/Basic.lean b/src/Lean/Meta/Tactic/LinearArith/Basic.lean
index 420741adf4..b4995ef92d 100644
--- a/src/Lean/Meta/Tactic/LinearArith/Basic.lean
+++ b/src/Lean/Meta/Tactic/LinearArith/Basic.lean
@@ -1,3 +1,8 @@
+/-
+Copyright (c) 2022 Microsoft Corporation. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Authors: Leonardo de Moura
+-/
 import Lean.Data.Rat
 
 namespace Lean.Meta.Linear