mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-23 12:48:53 +00:00
Code Activity

typo

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-05-22 12:01:10 +01:00
parent ffbbf08d20
commit 891073d3fe
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/mpn.h
View file

@ -27,7 +27,7 @@ Revision History:
typedef unsigned int mpn_digit; typedef unsigned int mpn_digit;
class mpn_manager { class mpn_manager {
#ifndef _NO_OMP #ifndef _NO_OMP_
omp_nest_lock_t m_lock; omp_nest_lock_t m_lock;
#endif #endif
#define MPN_BEGIN_CRITICAL() omp_set_nest_lock(&m_lock); #define MPN_BEGIN_CRITICAL() omp_set_nest_lock(&m_lock);