fixing #517 : an error / warning is generated
fixing #517 : an error / warning is generated

ELENA-LANG/elena-lang,ELENA-LANG/elena-lang,ELENA-LANG/elena-lang,ELENA-LANG/elena-lang,ELENA-LANG/elena-lang