Skip to content

Commit

Permalink
LICENSE: update copyright years
Browse files Browse the repository at this point in the history
  • Loading branch information
ptomsich committed May 29, 2023
1 parent 38dbfea commit 2b0fb2f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion LICENCE
Original file line number Diff line number Diff line change
Expand Up @@ -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-2021
Copyright (c) 2017-2023
Prashanth Mundkur
Rishiyur S. Nikhil and Bluespec, Inc.
Jon French
Expand Down

0 comments on commit 2b0fb2f

Please sign in to comment.