From 256c9d76d3fe85ac41486efd14506ff5436fc7c8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 16 Oct 2017 09:14:10 -0700
Subject: [PATCH] add macro for _Exit under WINDOWS

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/normal_forms/nnf.cpp | 2 ++
 src/util/util.h              | 1 +
 2 files changed, 3 insertions(+)

diff --git a/src/ast/normal_forms/nnf.cpp b/src/ast/normal_forms/nnf.cpp
index 7368d7935..f625095d0 100644
--- a/src/ast/normal_forms/nnf.cpp
+++ b/src/ast/normal_forms/nnf.cpp
@@ -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:
diff --git a/src/util/util.h b/src/util/util.h
index f8c464197..6d38231ba 100644
--- a/src/util/util.h
+++ b/src/util/util.h
@@ -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