Merge pull request #4050 from akoeplinger/profile-speedup

[mono.git] / mono / dis / main.c

diff --git a/mono/dis/main.c b/mono/dis/main.c
index 53de00ae71577c4a902472c6a2448a648608bf62..d187f28780a3a5bf81e3271768e0f615cb56a0e2 100644 (file)
--- a/mono/dis/main.c
+++ b/mono/dis/main.c
@@ -31,6 +31,7 @@
 #include <mono/metadata/loader.h>
 #include <mono/metadata/assembly.h>
 #include <mono/metadata/appdomain.h>
+#include <mono/metadata/w32handle.h>
 #include <mono/utils/bsearch.h>
 #include <mono/utils/mono-counters.h>