diff options
Diffstat (limited to 'arm/armV8_common_lib.sail')
| -rw-r--r-- | arm/armV8_common_lib.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arm/armV8_common_lib.sail b/arm/armV8_common_lib.sail index 1aa55992..3bae8070 100644 --- a/arm/armV8_common_lib.sail +++ b/arm/armV8_common_lib.sail @@ -1,7 +1,7 @@ (*========================================================================*) (* *) -(* Copyright (c) 2015-2016 Shaked Flur *) -(* Copyright (c) 2015-2016 Kathyrn Gray *) +(* Copyright (c) 2015-2017 Shaked Flur *) +(* Copyright (c) 2015-2017 Kathyrn Gray *) (* All rights reserved. *) (* *) (* This software was developed by the University of Cambridge Computer *) |