renamed none_type and unknown_type to prevent name clash with the EDG frontend
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 4 Jan 2005 12:21:54 +0000 (12:21 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 4 Jan 2005 12:21:54 +0000 (12:21 +0000)
commit96a036a45d0265665fdfa089bd9dc35a527c7e26
tree35d6e08a7fca673b6d131b280ffef90a5e269acc
parent6d77e15ee6a4dd9968bc340ae388bcfd7dd7d9c7
renamed none_type and unknown_type to prevent name clash with the EDG frontend

[r4786]
ir/tr/type.h