From 47dcd9fcbf86166d632dfc7d61d65a3a1228563c Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Mon, 11 Jul 2005 10:44:52 +0000
Subject: [PATCH] removed useless debug info

[r6219]
---
 ir/ir/irdumptxt.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ir/ir/irdumptxt.c b/ir/ir/irdumptxt.c
index e41a15092..cd5c74e26 100644
--- a/ir/ir/irdumptxt.c
+++ b/ir/ir/irdumptxt.c
@@ -1088,7 +1088,6 @@ void dump_type_to_file (FILE *F, type *tp, dump_verbosity verbosity) {
   fprintf(F, "  alignment:  %2d Bits,\n",  get_type_alignment_bits(tp));
   if (is_atomic_type(tp) || is_Method_type(tp))
     fprintf(F, "  mode:       %s,\n",  get_mode_name(get_type_mode(tp)));
-  fprintf(F, "  dbg info:   %p,\n",  (void *)get_type_dbg_info(tp));
 
   if (get_trouts_state()) {
     fprintf(F, "\n  Type outs:\n");
-- 
2.20.1