Hi Henrik,

> I've gotten the impression that ext names can not be relied upon to always
> be the same for any given object, but what kind of operations will cause
> them to change?

Can you describe where you observed such an effect? External symbol
names are absolutely constant, there is no way to change them, as the
name _is_ the symbol's address in the DB.

Are you sure you did not accidentally create new objects?

Cheers,
- Alex
-- 
UNSUBSCRIBE: mailto:picol...@software-lab.de?subject=unsubscribe

Reply via email to