From 070c584503510c8181cc4ac3f20b42ac7b0d4bc1 Mon Sep 17 00:00:00 2001 From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= Date: Wed, 11 Jul 2001 15:45:07 +0000 Subject: [PATCH] *** empty log message *** [r227] --- ir/tr/typegmod.h | 14 ++++++++++++++ ir/tr/typegmod_t.h | 14 -------------- 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/ir/tr/typegmod.h b/ir/tr/typegmod.h index 1077fe59a..256f20cc4 100644 --- a/ir/tr/typegmod.h +++ b/ir/tr/typegmod.h @@ -37,5 +37,19 @@ */ 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_ */ diff --git a/ir/tr/typegmod_t.h b/ir/tr/typegmod_t.h index 46e1864a0..dddaaacd3 100644 --- a/ir/tr/typegmod_t.h +++ b/ir/tr/typegmod_t.h @@ -17,19 +17,5 @@ ***** */ -/****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_ */ -- 2.20.1