FIX add module header to symtab2gb_parse_options.h

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit 9d634c8c0ebf · 2019-05-13T19:45:33.000+01:00
diff --git a/src/symtab2gb/symtab2gb_parse_options.h b/src/symtab2gb/symtab2gb_parse_options.h
@@ -1,3 +1,11 @@
+/******************************************************************\
+
+Module: symtab2gb_parse_options
+
+Author: Diffblue Ltd.
+
+\******************************************************************/
+
 #ifndef CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
 #define CPROVER_SYMTAB2GB_SYMTAB2GB_PARSE_OPTIONS_H
 
