Merge pull request #10876 from pgavlin/VSO406156
authorPat Gavlin <pgavlin@gmail.com>
Tue, 11 Apr 2017 20:29:23 +0000 (13:29 -0700)
committerGitHub <noreply@github.com>
Tue, 11 Apr 2017 20:29:23 +0000 (13:29 -0700)
Fix a few errors in cast decomposition.


Trivial merge