Fix code and comment disagreement#4581

tarek-y-ismail merged 1 commit intomaincanonical/mir:mainfrom

make-code-agree-with-comment-and-style-guidecanonical/mir:make-code-agree-with-comment-and-style-guideCopy head branch name to clipboard