[interp] fix build when DEBUG_INTERP is enabled (mono/mono#18112)
authorBernhard Urban-Forster <lewurm@gmail.com>
Tue, 10 Dec 2019 17:55:09 +0000 (18:55 +0100)
committerGitHub <noreply@github.com>
Tue, 10 Dec 2019 17:55:09 +0000 (18:55 +0100)
commite0fc34b471cb71bde8c0b89473b9f3c87b534888
treefa500d81bff0a57c35b5b34380bf11f07ffa2bb7
parent35f16d649079ff085c3c2cd88df8626cdc020241
[interp] fix build when DEBUG_INTERP is enabled (mono/mono#18112)

broke with mono/mono@c4136ebd94567bb29557c94e7480e24fe72ffdac

Commit migrated from https://github.com/mono/mono/commit/ef422d9cb7bccd90b19f2cf22a7a4d34e26b79bb
src/mono/mono/mini/interp/interp.c