Merge pull request #12634 from rartemev/issue_12466_1
authorRoman Artemev <rartemev@microsoft.com>
Thu, 6 Jul 2017 23:36:59 +0000 (16:36 -0700)
committerGitHub <noreply@github.com>
Thu, 6 Jul 2017 23:36:59 +0000 (16:36 -0700)
Fix misprint in complex condition


Trivial merge