[mini] Fixed the build.
authorJoão Matos <joao@tritao.eu>
Mon, 16 Mar 2015 14:57:38 +0000 (14:57 +0000)
committerJoão Matos <joao@tritao.eu>
Mon, 16 Mar 2015 14:57:38 +0000 (14:57 +0000)
commit29fc1bb5d638d016d288500ab15e4ec9b14099b9
tree863ba63bc5e8e6d00b109d6a5d2eb0f303775ccb
parenta807f99a7dac3ecc5ca43e0fa14c85d455281170
[mini] Fixed the build.

Missed this one on https://github.com/mono/mono/commit/86155e72da0aa0cc1e546dd2dd5acee0db398c38.
mono/mini/debugger-agent.c