Update banners for gdb api files

danpoe · danpoe · commit 7966fcaefa22 · 2019-01-28T18:56:04.000Z
diff --git a/src/memory-analyzer/gdb_api.cpp b/src/memory-analyzer/gdb_api.cpp
@@ -1,4 +1,12 @@
-// Copyright 2018 Author: Malte Mues <mail.mues@gmail.com>
+/*******************************************************************\
+
+Module: GDB Machine Interface API
+
+Author: Malte Mues <mail.mues@gmail.com>
+        Daniel Poetzl
+
+\*******************************************************************/
+
 #ifdef __linux__
 #include <cctype>
 #include <cerrno>
diff --git a/src/memory-analyzer/gdb_api.h b/src/memory-analyzer/gdb_api.h
@@ -1,4 +1,12 @@
-// Copyright 2018 Author: Malte Mues
+/*******************************************************************\
+
+Module: GDB Machine Interface API
+
+Author: Malte Mues <mail.mues@gmail.com>
+        Daniel Poetzl
+
+\*******************************************************************/
+
 #ifdef __linux__
 #ifndef CPROVER_MEMORY_ANALYZER_GDB_API_H
 #define CPROVER_MEMORY_ANALYZER_GDB_API_H
diff --git a/unit/memory-analyzer/gdb_api.cpp b/unit/memory-analyzer/gdb_api.cpp
@@ -1,4 +1,12 @@
-// Copyright 2018 Malte Mues
+/*******************************************************************\
+
+Module: GDB Machine Interface API unit tests
+
+Author: Malte Mues <mail.mues@gmail.com>
+        Daniel Poetzl
+
+\*******************************************************************/
+
 #include <testing-utils/use_catch.h>
 
 #ifdef __linux__
