From a0ab504ea6de623f6c9953b268babc4cfb3ab992 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Wed, 15 Jan 2020 11:42:37 +0000
Subject: [PATCH] Remove contribution, as this file is new.

---
 CHERICC.bsv | 1 -
 1 file changed, 1 deletion(-)

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.
  *