X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fdebug%2Fseqnumbers.c;h=719ed34f2779c13b49eaabdfa4a12f84b3dba392;hb=77758e667d95420460ae94756f64a56171a518f3;hp=5f47466172f76e35385d9812fe0c7e495651a60f;hpb=eb08138c6b80c169945568e4414f491a9bc20388;p=libfirm

diff --git a/ir/debug/seqnumbers.c b/ir/debug/seqnumbers.c
index 5f4746617..719ed34f2 100644
--- a/ir/debug/seqnumbers.c
+++ b/ir/debug/seqnumbers.c
@@ -17,27 +17,19 @@
  * PURPOSE.
  */
 
-/*
- * Project:     libFIRM
- * File name:   ir/debug/seqnumbers.c
- * Purpose:     Implements simple sequence numbers for Firm debug info.
- * Author:      Michael Beck
- * Modified by:
- * Created:     2005
- * CVS-ID:      $Id$
- * Copyright:   (c) 2001-2005 Universität Karlsruhe
- */
-
 /**
- * @file seqnumbers.c
+ * @file
+ * @brief      Implements simple sequence numbers for Firm debug info.
+ * @author     Michael Beck
+ * @date       2005
+ * @version    $Id$
+ * @summary
+ *  Sequence numbers for Firm.
  *
- * 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.
+ *  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
@@ -67,6 +59,7 @@ static int seqno_cmp(const void *elt, const void *key, size_t size)
 {
   seqno_t e1 = (seqno_t)elt;
   seqno_t e2 = (seqno_t)key;
+  (void) size;
 
   return (e1->filename != e2->filename) | (e1->lineno - e2->lineno);
 }