Remove old doxygen module directives from header files

Author: peterschrammel

src/ansi-c/ansi_c_language.h

@@ -10,8 +10,6 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_ANSI_C_ANSI_C_LANGUAGE_H
 #define CPROVER_ANSI_C_ANSI_C_LANGUAGE_H
 
-/*! \defgroup gr_ansi_c ANSI-C front-end */
-
 #include <memory>
 
 #include <util/make_unique.h>

src/cpp/cpp_language.h

@@ -12,8 +12,6 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_CPP_CPP_LANGUAGE_H
 #define CPROVER_CPP_CPP_LANGUAGE_H
 
-/*! \defgroup gr_cpp C++ front-end */
-
 #include <memory>
 
 #include <util/make_unique.h> // unique_ptr

src/util/std_expr.h

@@ -22,10 +22,6 @@ Author: Daniel Kroening, [email protected]
 #include "expr_cast.h"
 
 
-/*! \defgroup gr_std_expr Conversion to specific expressions
- *  Conversion to subclasses of @ref exprt
-*/
-
 /*! \brief A transition system, consisting of
            state invariant, initial state predicate,
            and transition predicate
@@ -56,7 +52,7 @@ class transt:public exprt
  * \param expr Source expression
  * \return Object of type \ref transt
  *
- * \ingroup gr_std_expr
+
 */
 inline const transt &to_trans_expr(const exprt &expr)
 {

src/util/std_types.h

@@ -25,7 +25,7 @@ Author: Daniel Kroening, [email protected]
 
 class constant_exprt;
 
-/*! \defgroup gr_std_types Conversion to specific types
+/*!
  *  Conversion to subclasses of @ref typet
 */
 

src/util/symbol.h

@@ -17,9 +17,6 @@ Author: Daniel Kroening, [email protected]
  * \date   Sun Jul 31 21:54:44 BST 2011
 */
 
-/*! \defgroup gr_symbol_table Symbol Table
-*/
-
 #include <iosfwd>
 
 #include "expr.h"

src/util/symbol_table_base.h

@@ -3,8 +3,6 @@
 /// \file
 /// Symbol table base class interface
 
-/// \defgroup gr_symbol_table Symbol Table
-
 #ifndef CPROVER_UTIL_SYMBOL_TABLE_BASE_H
 #define CPROVER_UTIL_SYMBOL_TABLE_BASE_H