Fixed a bug in recent changes where the Logtalk source file extension could be printed twice when reporting errors.
Fixed a bug in recent changes where the Logtalk source file extension could be printed twice when reporting errors.

git-svn-id: 4c7b768bc2e2a56aa1c56b1b5a9454ba68342430@6489 ac9c905b-388a-4ddf-9b6a-4063a022bc57

LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2