From 4e9c5b1650e890aa1c9745760013b67556c233ae Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Tue, 5 Oct 2021 10:16:16 -0700
Subject: [PATCH] Update copyright year

---
 cryptol.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cryptol.cabal b/cryptol.cabal
index 87eb0406..5cce452e 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -9,7 +9,7 @@ Author:              Galois, Inc.
 Maintainer:          cryptol@galois.com
 Homepage:            http://www.cryptol.net/
 Bug-reports:         https://github.com/GaloisInc/cryptol/issues
-Copyright:           2013-2020 Galois Inc.
+Copyright:           2013-2021 Galois Inc.
 Category:            Language
 Build-type:          Simple
 extra-source-files:  bench/data/*.cry