X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firvrfy_t.h;h=fd1ab70f481b721110d9344894e64473e113731c;hb=20a054e20083e0b0e996aceabf561254c663277a;hp=e772596e16a0258b4caa4154db70a9ea5bef5432;hpb=863d31d7a5c8210432fef88b30fc3e8353131538;p=libfirm

diff --git a/ir/ir/irvrfy_t.h b/ir/ir/irvrfy_t.h
index e772596e1..fd1ab70f4 100644
--- a/ir/ir/irvrfy_t.h
+++ b/ir/ir/irvrfy_t.h
@@ -1,16 +1,30 @@
 /*
- * Project:     libFIRM
- * File name:   ir/ir/irvrfy_t.h
- * Purpose:     New checker of irnodes for correctness.
- * Author:      Michael Beck
- * Modified by:
- * Created:
- * CVS-ID:      $Id$
- * Copyright:   (c) 1998-2005 Universität Karlsruhe
- * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
+ * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
  */
-#ifndef _IRVRFY_T_H_
-#define _IRVRFY_T_H_
+
+/**
+ * @file
+ * @brief    New checker of irnodes for correctness.
+ * @author   Michael Beck
+ * @version  $Id$
+ */
+#ifndef FIRM_IR_IRVRFY_T_H
+#define FIRM_IR_IRVRFY_T_H
 
 #include "irflag_t.h"
 #include "irvrfy.h"
@@ -68,4 +82,4 @@ do { \
  */
 void firm_set_default_verifyer(ir_opcode code, ir_op_ops *ops);
 
-#endif /* _IRVRFY_T_H_ */
+#endif