mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
add macro for _Exit under WINDOWS
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
b36f512879
commit
256c9d76d3
|
@ -216,6 +216,8 @@ struct nnf::imp {
|
|||
m_cache_result(cache_res),
|
||||
m_spos(spos) {
|
||||
}
|
||||
//frame():m_curr(*(ast_manager*)(nullptr)) {
|
||||
//}
|
||||
};
|
||||
|
||||
// There are four caches:
|
||||
|
|
|
@ -54,6 +54,7 @@ static_assert(sizeof(int64) == 8, "64 bits");
|
|||
#ifdef _WINDOWS
|
||||
#define SSCANF sscanf_s
|
||||
#define SPRINTF sprintf_s
|
||||
#define _Exit exit
|
||||
#else
|
||||
#define SSCANF sscanf
|
||||
#define SPRINTF sprintf
|
||||
|
|
Loading…
Reference in a new issue