diff --git a/CHERICC.bsv b/CHERICC.bsv index 733a53f..5382f8f 100644 --- a/CHERICC.bsv +++ b/CHERICC.bsv @@ -1,5 +1,4 @@ /*- - * Copyright (c) 2015-2019 Jonathan Woodruff * Copyright (c) 2017-2019 Alexandre Joannou * All rights reserved. *