Add copyright and doxygen header to symtab2gb

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit bd85354b17d3 · 2019-05-13T18:41:39.000+01:00
diff --git a/src/symtab2gb/symtab2gb_main.cpp b/src/symtab2gb/symtab2gb_main.cpp
@@ -1,3 +1,14 @@
+/******************************************************************\
+
+Module: symtab2gb_main
+
+Author: Diffblue Ltd.
+
+\******************************************************************/
+
+/// \file
+/// symtab2gb Main Module
+
 #include <fstream>
 #include <goto-programs/goto_convert_functions.h>
 #include <goto-programs/goto_model.h>
