Error message on double definition of symbol