removed entity_visited flag - use type_visited instead
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Wed, 11 Sep 2002 16:42:06 +0000 (16:42 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Wed, 11 Sep 2002 16:42:06 +0000 (16:42 +0000)
commitaa430d14a092961d948a4a15effca64e51375938
tree23df1b01c8860848773d0e8cab91419afb40c202
parentc2e377ee1536c04c8b00d241fb2d63a4061732bc
removed entity_visited flag - use type_visited instead
this corresponds to the documentation

[r475]
ir/tr/entity.c
ir/tr/entity.h
ir/tr/type.h