*** empty log message ***
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Wed, 11 Jul 2001 15:45:07 +0000 (15:45 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Wed, 11 Jul 2001 15:45:07 +0000 (15:45 +0000)
[r227]

ir/tr/typegmod.h
ir/tr/typegmod_t.h

index 1077fe5..256f20c 100644 (file)
  */
 inline void exchange_types(type *old_type, type *new_type);
 
+/****f* tpop/skip_tid
+ *
+ * NAME
+ *   skip_tid -- skip id types until a useful type is reached.
+ * SYNOPSIS
+ *   type *skip_tid(type *tp)
+ * INPUTS
+ *   A type of arbitrary kind.
+ * RETURNS
+ *   tp if it is not an id type.
+ *   If tp is an id type retruns the real type it stands for.
+ ***
+ */
+inline type *skip_tid(type *tp);
 
 # endif /*_TYPEGMOD_H_ */
index 46e1864..dddaaac 100644 (file)
  *****
  */
 
-/****f* tpop/skip_tid
- *
- * NAME
- *   skip_tid -- skip id types until a useful type is reached.
- * SYNOPSIS
- *   type *skip_tid(type *tp)
- * INPUTS
- *   A type of arbitrary kind.
- * RETURNS
- *   tp if it is not an id type.
- *   If tp is an id type retruns the real type it stands for.
- ***
- */
-inline type *skip_tid(type *tp);
 
 # endif /*_TYPEGMOD_T_H_ */