From 936f1beb2bbc9db6182ba8b706668e146c3657d9 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 9 Jul 2018 16:30:06 +0100
Subject: Changes for anonymisation. Ensure headers are in correct format.
 Remove some redundant files.

---
 src/value2.lem | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/value2.lem')

diff --git a/src/value2.lem b/src/value2.lem
index d9fd1263..e8a8262a 100644
--- a/src/value2.lem
+++ b/src/value2.lem
@@ -1,4 +1,4 @@
-(**************************************************************************)
+(*========================================================================*)
 (*     Sail                                                               *)
 (*                                                                        *)
 (*  Copyright (c) 2013-2017                                               *)
@@ -46,7 +46,7 @@
 (*  OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT    *)
 (*  OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF    *)
 (*  SUCH DAMAGE.                                                          *)
-(**************************************************************************)
+(*========================================================================*)
 
 open import Pervasives
 open import Assert_extra
-- 
cgit v1.2.3