From 9c27ba0b3e16d71255a1d795116b0ac66cca8451 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Tue, 5 Dec 2017 18:08:17 +0000
Subject: add Ed

---
 src/LICENCE | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/LICENCE')

diff --git a/src/LICENCE b/src/LICENCE
index 6b6dcc4f..c777e037 100644
--- a/src/LICENCE
+++ b/src/LICENCE
@@ -20,8 +20,9 @@ Copyright (c) 2013-2017
 All rights reserved.
 
 This software was developed by the University of Cambridge Computer
-Laboratory as part of the Rigorous Engineering of Mainstream Systems
-(REMS) project, funded by EPSRC grant EP/K008528/1.
+Laboratory and the University of Edinburgh as part of the Rigorous
+Engineering of Mainstream Systems (REMS) project, funded by EPSRC
+grant EP/K008528/1.
 
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions
-- 
cgit v1.2.3