--------------------------------------------------------------
| 337 | |
| 338 | // -------------------------------------------------------------- |
| 339 | Type::~Type(void) |
| 340 | { |
| 341 | // Nothing to do. |
| 342 | } |
| 343 | |
| 344 | // -------------------------------------------------------------- |
| 345 | #if 0 |
nothing calls this directly
no outgoing calls
no test coverage detected