From 877df0f1cce5d26cd7a5b8709d3c8ad542fe3c2d Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Sat, 1 Dec 2018 20:45:41 +0700
Subject: [PATCH] If NO_Z3_DEBUGGER, also drop defining invoke_gdb.

---
 src/util/debug.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/debug.cpp b/src/util/debug.cpp
index 4434cb19f..3e40e412c 100644
--- a/src/util/debug.cpp
+++ b/src/util/debug.cpp
@@ -69,7 +69,7 @@ bool is_debug_enabled(const char * tag) {
     return g_enabled_debug_tags->contains(const_cast<char *>(tag));
 }
 
-#ifndef _WINDOWS
+#if !defined(_WINDOWS) && !defined(NO_Z3_DEBUGGER)
 void invoke_gdb() {
     char buffer[1024];
     int * x = nullptr;