Fixed Coconut compilation problem#971

ShadowMitia merged 1 commit intoalgorithm-archivists:mainalgorithm-archivists/algorithm-archive:mainfrom

Amaras:fix_coconut_compilationAmaras/algorithm-archive:fix_coconut_compilationCopy head branch name to clipboard