Copyright messages

src/util/lp/conversion_helper.h

@@ -1,8 +1,23 @@
-/*
-  Copyright (c) 2013 Microsoft Corporation. All rights reserved.
+/*++
+Copyright (c) 2017 Microsoft Corporation
+
+Module Name:
+
+    <name>
+
+Abstract:
+
+    <abstract>
+
+Author:
+
+    Lev Nachmanson (levnach)
+
+Revision History:
+
+
+--*/
 
-  Author: Lev Nachmanson
-*/
 #pragma once
 namespace lp {
 template <typename V>

src/util/lp/quick_xplain.h

@@ -1,7 +1,22 @@
-/*
+/*++
 Copyright (c) 2017 Microsoft Corporation
-Author: Lev Nachmanson
-*/
+
+Module Name:
+
+    <name>
+
+Abstract:
+
+    <abstract>
+
+Author:
+
+    Lev Nachmanson (levnach)
+
+Revision History:
+
+
+--*/
 
 #pragma once
 #include "util/vector.h"

src/util/lp/random_updater.h

@@ -1,7 +1,23 @@
-/*
+/*++
 Copyright (c) 2017 Microsoft Corporation
-Author: Lev Nachmanson
-*/
+
+Module Name:
+
+    <name>
+
+Abstract:
+
+    <abstract>
+
+Author:
+
+    Lev Nachmanson (levnach)
+
+Revision History:
+
+
+--*/
+
 #pragma once
 #include <set>
 #include "util/vector.h"

src/util/lp/stacked_vector.h

@@ -1,7 +1,23 @@
-/*
+/*++
 Copyright (c) 2017 Microsoft Corporation
-Author: Lev Nachmanson
-*/
+
+Module Name:
+
+    <name>
+
+Abstract:
+
+    <abstract>
+
+Author:
+
+    Lev Nachmanson (levnach)
+
+Revision History:
+
+
+--*/
+
 #pragma once
 #include <unordered_map>
 #include <set>