Updated comment

Author: NathanJPhillips

src/util/symbol_table.cpp

@@ -1,10 +1,4 @@
-/*******************************************************************\
-
-Module:
-
-Author: Daniel Kroening, [email protected]
-
-\*******************************************************************/
+// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
 
 #include "symbol_table.h"
 

src/util/symbol_table.h

@@ -1,24 +1,13 @@
-/*******************************************************************\
+// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
 
-Module:
-
-Author: Daniel Kroening, [email protected]
-
-\*******************************************************************/
+/// \file
+/// Symbol table
 
+/// \defgroup gr_symbol_table Symbol Table
 
 #ifndef CPROVER_UTIL_SYMBOL_TABLE_H
 #define CPROVER_UTIL_SYMBOL_TABLE_H
 
-/*! \file util/symbol_table.h
- * \brief Symbol table
- *
- * \author Daniel Kroening <[email protected]>
-*/
-
-/*! \defgroup gr_symbol_table Symbol Table
-*/
-
 #include <iosfwd>
 #include <map>
 #include <unordered_map>
@@ -27,6 +16,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "symbol.h"
 
+
 #define forall_symbols(it, expr) \
   for(symbol_tablet::symbolst::const_iterator it=(expr).begin(); \
       it!=(expr).end(); ++it)
@@ -48,9 +38,9 @@ typedef std::multimap<irep_idt, irep_idt> symbol_module_mapt;
                                          it_end=(expr).upper_bound(module); \
       it!=it_end; ++it)
 
-/*! \brief The symbol table
-    \ingroup gr_symbol_table
-*/
+
+/// \brief The symbol table
+/// \ingroup gr_symbol_table
 class symbol_tablet
 {
 public: