* fixed printed source code positions in error message in case the external name of a formal and of a real definition don't match git-svn-id: trunk@20425 -