removed definition of old type_visited flag
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 18 Aug 2005 11:44:25 +0000 (11:44 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 18 Aug 2005 11:44:25 +0000 (11:44 +0000)
commitdf6b9d58b1b0c96e7c1dfbb8d6f5476b055b74cd
treef995cdd33071ffc603ab01f90384fc4aa3a2768d
parentbb951a845a915433324efd608daad6c7283f0af7
removed definition of old type_visited flag
restored type_visited() function declaration

[r6456]
ir/tr/type.h