[verifier] Partially revert 6d37ffdf534eae04a5d06b2e097762bd64fc0591. It adds interna...
authorRodrigo Kumpera <kumpera@gmail.com>
Tue, 15 Aug 2017 21:28:21 +0000 (14:28 -0700)
committerRodrigo Kumpera <kumpera@gmail.com>
Tue, 15 Aug 2017 21:28:21 +0000 (14:28 -0700)
commit97bc10361b06058ee359a2d8d0e39ec07a7e4861
treef4a37fa82051486d021bc4a9fa49faf888a2f97c
parent7a0979e2be1eaa4cc26fa3076c25a27121e1730c
[verifier] Partially revert 6d37ffdf534eae04a5d06b2e097762bd64fc0591. It adds internal a header to a public one.
mono/metadata/verify.h