From 9e330fa625482e41928374164d70cdd209f3f0c7 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Thu, 7 Nov 2013 23:28:18 +0100 Subject: [PATCH] I blame someone else for this --- src/xbt/xbt_os_time.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/xbt/xbt_os_time.c b/src/xbt/xbt_os_time.c index f378ca1329..6b06a6ba36 100644 --- a/src/xbt/xbt_os_time.c +++ b/src/xbt/xbt_os_time.c @@ -19,7 +19,7 @@ //Freebsd doesn't provide this clock_gettime flag yet, because it was added too recently (after 1993) #ifdef __FreeBSD__ -#define CLOCK_PROCESS_CPUTTIME_ID CLOCK_PROF +#define CLOCK_PROCESS_CPUTIME_ID CLOCK_PROF #endif double xbt_os_time(void) -- 2.20.1