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

diff --git a/ir/debug/seqnumbers.c b/ir/debug/seqnumbers.c
index 5f4746617..ff790cd0d 100644
--- a/ir/debug/seqnumbers.c
+++ b/ir/debug/seqnumbers.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -17,30 +17,20 @@
  * 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$
+ * @brief
+ *  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
+#include "config.h"
 
 #include "set.h"
 #include "hashptr.h"
@@ -67,6 +57,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);
 }