From 942b0989c4c53ac768d24396f14b752d0d4d0b93 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Thu, 18 Aug 2005 11:47:58 +0000
Subject: [PATCH] enabled type_visited() function again

[r6457]
---
 ir/tr/type.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ir/tr/type.c b/ir/tr/type.c
index 0d883400c..afe6385c6 100644
--- a/ir/tr/type.c
+++ b/ir/tr/type.c
@@ -495,10 +495,9 @@ void (mark_type_visited)(type *tp) {
   _mark_type_visited(tp);
 }
 
-/* @@@ name clash with master flag
 int (type_visited)(const type *tp) {
   return _type_visited(tp);
-}*/
+}
 
 int (type_not_visited)(const type *tp) {
   return _type_not_visited(tp);
-- 
2.20.1