From fbe4611d9a9e5e05c21865315d864f3c663ee743 Mon Sep 17 00:00:00 2001 From: fanyang-mono Date: Thu, 23 Apr 2020 16:23:09 -0400 Subject: [PATCH] Change header file name --- src/mono/mono/utils/mono-time.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mono/mono/utils/mono-time.h b/src/mono/mono/utils/mono-time.h index 0d1d41a..7f700c7 100644 --- a/src/mono/mono/utils/mono-time.h +++ b/src/mono/mono/utils/mono-time.h @@ -33,7 +33,7 @@ gint64 mono_100ns_datetime_from_timeval (struct timeval tv); #include typedef clock_serv_t mono_clock_id_t; #elif defined(__linux__) -#include +#include typedef clockid_t mono_clock_id_t; #else typedef void* mono_clock_id_t; -- 2.7.4