Remove redundant doxygen file header

John Nonweiler · John Nonweiler · commit 6688c5a2ebd1 · 2018-10-02T14:13:23.000+01:00
The doxygen \file tag was included twice, as well as the brief file
description, author and date.  (And the second time, it had an
incorrect filename.)  This commit deletes the second \file comment
block.
diff --git a/src/goto-programs/goto_trace.h b/src/goto-programs/goto_trace.h
@@ -14,13 +14,6 @@ Date: July 2005
 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_TRACE_H
 #define CPROVER_GOTO_PROGRAMS_GOTO_TRACE_H
 
-/*! \file goto-symex/goto_trace.h
- * \brief Traces through goto programs
- *
- * \author Daniel Kroening <kroening@kroening.com>
- * \date   Sun Jul 31 21:54:44 BST 2011
-*/
-
 #include <iosfwd>
 #include <vector>
 
