mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
missing parameters for OSX/Linus
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
a8e7974011
commit
bc8ae21ebe
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue