From c0d20f8ea8a39b51b8651481a79e49157bb86548 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 23 Feb 2019 10:59:10 +0100
Subject: [PATCH] add cr

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/buffer.h     | 13 +++++++++++++
 src/util/old_buffer.h |  2 ++
 src/util/old_vector.h |  2 ++
 src/util/vector.h     | 13 +++++++++++++
 4 files changed, 30 insertions(+)

diff --git a/src/util/buffer.h b/src/util/buffer.h
index 7a89ffef3..0d32245d3 100644
--- a/src/util/buffer.h
+++ b/src/util/buffer.h
@@ -1,3 +1,16 @@
+/*++
+Copyright (c) 2019 Microsoft Corporation
+
+Module Name:
+
+    buffer.h
+
+Author:
+
+    Daniel Schemmel 2019-2-23
+
+--*/
+
 #ifndef BUFFER_H_
 #define BUFFER_H_
 
diff --git a/src/util/old_buffer.h b/src/util/old_buffer.h
index 5ed1df583..88800b05a 100644
--- a/src/util/old_buffer.h
+++ b/src/util/old_buffer.h
@@ -15,6 +15,8 @@ Author:
 
 Revision History:
 
+   2019-2-23 Renamed to old_buffer from buffer to provide new implementation
+
 --*/
 #ifndef OLD_BUFFER_H_
 #define OLD_BUFFER_H_
diff --git a/src/util/old_vector.h b/src/util/old_vector.h
index 53450e6cf..47dc88aab 100644
--- a/src/util/old_vector.h
+++ b/src/util/old_vector.h
@@ -20,6 +20,8 @@ Author:
 
 Revision History:
 
+   2019-2-23 Renamed from vector to old_vector to provide new implementation
+
 --*/
 #ifndef OLD_VECTOR_H_
 #define OLD_VECTOR_H_
diff --git a/src/util/vector.h b/src/util/vector.h
index b3625bdfc..9e2e35acc 100644
--- a/src/util/vector.h
+++ b/src/util/vector.h
@@ -1,3 +1,16 @@
+/*++
+Copyright (c) 2019 Microsoft Corporation
+
+Module Name:
+
+    vector.h
+
+Author:
+
+    Daniel Schemmel 2019-2-23
+
+--*/
+
 #ifndef VECTOR_H_
 #define VECTOR_H_