enabled type_visited() function again

[r6457]

diff --git a/ir/tr/type.c b/ir/tr/type.c
index 0d88340..afe6385 100644 (file)
--- 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);