* @author Michael Beck
* @date 2005
* @version $Id$
- * @summary
+ * @brief
* Sequence numbers for Firm.
*
* A sequence number is an unique number representing a filename
* and a line number. The number 0 represents empty information.
* This module is an optional "snap-in" for the Firm debug info.
*/
-#ifdef HAVE_CONFIG_H
-# include "config.h"
-#endif
+#include "config.h"
#include "set.h"
#include "hashptr.h"