From 8d45de02c5ab155354fb0e5405f89e16580b4df1 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 7 Dec 2012 06:07:57 -0800
Subject: [PATCH] Fixed timer bug on freebsd

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/scoped_timer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/scoped_timer.cpp b/src/util/scoped_timer.cpp
index 4b191505f..d475e5489 100644
--- a/src/util/scoped_timer.cpp
+++ b/src/util/scoped_timer.cpp
@@ -43,7 +43,7 @@ Revision History:
    #define CLOCKID CLOCK_PROCESS_CPUTIME_ID
    #else
    // FreeBSD does not support CLOCK_PROCESS_CPUTIME_ID 
-   #define CLOCKID CLOCK_PROF
+   #define CLOCKID CLOCK_MONOTONIC
    #endif
 #define SIG     SIGRTMIN
 // ---------