Remove comment

Charliemowood · Charliemowood · commit 9565bcf06055 · 2018-02-27T17:43:57.000Z
This comment was causing a blank page to render in module documentation
diff --git a/src/ansi-c/ansi_c_language.h b/src/ansi-c/ansi_c_language.h
@@ -10,8 +10,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #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>
