Update LICENCE copyright years for 2025

jordancarlin · Jan 2, 2025 · fc3b8c4 · fc3b8c4
1 parent fbd3aa6
commit fc3b8c4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/LICENCE b/LICENCE
@@ -5,7 +5,7 @@ directories except for the snapshots of the Lem and Sail libraries
 in the prover_snapshots directory (which include copies of their
 licences), is subject to the BSD two-clause licence below.
 
-Copyright (c) 2017-2024
+Copyright (c) 2017-2025
    ahadali5000
    Alasdair Armstrong
    Alexander Richardson
@@ -24,6 +24,7 @@ Copyright (c) 2017-2024
    Jan Henrik Weinstock
    Jessica Clarke
    Jon French
+   Jordan Carlin
    Martin Berger
    Michael Sammler
    Microsoft, for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo