From 74dff7314c6790d9951001ff8ea35dbaf437959c Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 5 Dec 2017 16:24:41 +0000
Subject: Update header files on master

---
 src/util.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/util.ml')

diff --git a/src/util.ml b/src/util.ml
index 2b6f81f8..733fff79 100644
--- a/src/util.ml
+++ b/src/util.ml
@@ -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