Merge pull request #5009 from shelhamer/solver-type-check
authorEvan Shelhamer <shelhamer@imaginarynumber.net>
Tue, 22 Nov 2016 21:54:15 +0000 (13:54 -0800)
committerGitHub <noreply@github.com>
Tue, 22 Nov 2016 21:54:15 +0000 (13:54 -0800)
Solver: check and set type to reconcile class and proto type


Trivial merge