diff options
| author | Robert Norton | 2017-02-03 15:56:46 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-02-03 15:57:03 +0000 |
| commit | 0f688281254997cb4ca3a6e82275c3751c43fe2c (patch) | |
| tree | 7508cba0bf8eb2ef4b6b929d855bfdf7203162fe /cheri | |
| parent | d7539830a4e12e6beecef137cdcb140cd3b0599b (diff) | |
fix header dates in new file.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_types.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cheri/cheri_types.sail b/cheri/cheri_types.sail index 5df42a9f..53d05cb5 100644 --- a/cheri/cheri_types.sail +++ b/cheri/cheri_types.sail @@ -1,7 +1,7 @@ (*========================================================================*) (* *) -(* Copyright (c) 2015-2016 Robert M. Norton *) -(* Copyright (c) 2015-2016 Kathyrn Gray *) +(* Copyright (c) 2015-2017 Robert M. Norton *) +(* Copyright (c) 2015-2017 Kathyrn Gray *) (* All rights reserved. *) (* *) (* This software was developed by the University of Cambridge Computer *) |