Closed aytey closed 4 years ago
I noticed that the Boolector copyright notice is out-of-date.
Given you've both committed in 2020, it should say 2020 not 2019.
Signed-off-by: Andrew V. Jones andrew.jones@vector.com
Not required.
I noticed that the Boolector copyright notice is out-of-date.
Given you've both committed in 2020, it should say 2020 not 2019.
Signed-off-by: Andrew V. Jones andrew.jones@vector.com