Merge pull request #5210 from alexrp/profiler-runtime-settings

[mono.git] / mono / mini / driver.c

diff --git a/mono/mini/driver.c b/mono/mini/driver.c
index 934eb0a54a363138728a0bdc19f64f45e77df70b..750aa206b992f47a3edd1f041041b090c3e04068 100644 (file)
--- a/mono/mini/driver.c
+++ b/mono/mini/driver.c
@@ -36,7 +36,6 @@
 #include <mono/metadata/marshal.h>
 #include <mono/metadata/appdomain.h>
 #include <mono/metadata/debug-helpers.h>
-#include "mono/metadata/profiler.h"
 #include <mono/metadata/profiler-private.h>
 #include <mono/metadata/mono-config.h>
 #include <mono/metadata/environment.h>