From bc8ae21ebee8a3451c9450a7add52289dc799a16 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 18 Aug 2017 15:14:47 -0700 Subject: [PATCH] missing parameters for OSX/Linus Signed-off-by: Nikolaj Bjorner --- src/util/scoped_timer.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/scoped_timer.cpp b/src/util/scoped_timer.cpp index 825b251c9..3991abd36 100644 --- a/src/util/scoped_timer.cpp +++ b/src/util/scoped_timer.cpp @@ -98,7 +98,7 @@ struct scoped_timer::imp { int e = pthread_cond_timedwait(&st->m_condition_var, &st->m_mutex, &st->m_end_time); if (e != 0 && e != ETIMEDOUT) throw default_exception("failed to start timed wait"); - st->m_eh->operator()(); + st->m_eh->operator()(TIMEOUT_EH_CALLER); pthread_mutex_unlock(&st->m_mutex); @@ -133,7 +133,7 @@ struct scoped_timer::imp { pthread_mutex_unlock(&st->m_mutex); if (e == ETIMEDOUT) - st->m_eh->operator()(); + st->m_eh->operator()(TIMEOUT_EH_CALLER); return 0; } #else