|
Lines 174-180
Link Here
|
| 174 |
// remove the inherited type definition, a new one will be |
174 |
// remove the inherited type definition, a new one will be |
| 175 |
// added soon under this name! Addition of this line fixes |
175 |
// added soon under this name! Addition of this line fixes |
| 176 |
// bug #345 |
176 |
// bug #345 |
| 177 |
TypeMap.removeDefinition( name ); |
177 |
// additionally, check for a redefined constant (bug 517) |
|
|
178 |
if (!kind.equals("constant")) |
| 179 |
TypeMap.removeDefinition( name ); |
| 178 |
} |
180 |
} |
| 179 |
} |
181 |
} |
| 180 |
|
182 |
|