From 862ee8e9be79bdfcdea0b1f5753aaddc9a7191ec Mon Sep 17 00:00:00 2001
From: Alex Keizer <alex@keizer.dev>
Date: Wed, 16 Oct 2024 14:38:51 -0500
Subject: [PATCH] copyright blurb

---
 Tactics/QuoteLight.lean | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Tactics/QuoteLight.lean b/Tactics/QuoteLight.lean
index 7f401e8b..29966254 100644
--- a/Tactics/QuoteLight.lean
+++ b/Tactics/QuoteLight.lean
@@ -1,3 +1,8 @@
+/-
+Copyright (c) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Author(s): Alex Keizer
+-/
 import Lean
 import Tactics.QuoteLight.ToExpr