From 631373a7694db8a789a7d9efbdcf16d17aa1ce98 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 5 Dec 2017 15:57:30 +0000
Subject: Update license headers for Sail source

---
 src/initial_check.mli | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/initial_check.mli')

diff --git a/src/initial_check.mli b/src/initial_check.mli
index cfbea3e1..e39c7427 100644
--- a/src/initial_check.mli
+++ b/src/initial_check.mli
@@ -9,6 +9,14 @@
 (*    Robert Norton-Wright                                                *)
 (*    Christopher Pulte                                                   *)
 (*    Peter Sewell                                                        *)
+(*    Alasdair Armstrong                                                  *)
+(*    Brian Campbell                                                      *)
+(*    Thomas Bauereiss                                                    *)
+(*    Anthony Fox                                                         *)
+(*    Jon French                                                          *)
+(*    Dominic Mulligan                                                    *)
+(*    Stephen Kell                                                        *)
+(*    Mark Wassell                                                        *)
 (*                                                                        *)
 (*  All rights reserved.                                                  *)
 (*                                                                        *)
-- 
cgit v1.2.3