From d757c342d59edf29d0ba9af57adc4fa492f9e65e Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Mon, 7 Jan 2019 23:13:09 +0700
Subject: [PATCH] Define NO_Z3_DEBUGGER for emscripten builds.

---
 src/util/debug.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/util/debug.h b/src/util/debug.h
index ea702e8a7..613328013 100644
--- a/src/util/debug.h
+++ b/src/util/debug.h
@@ -51,6 +51,10 @@ bool assertions_enabled();
 #endif
 #endif
 
+#ifdef __EMSCRIPTEN__
+#define NO_Z3_DEBUGGER
+#endif
+
 #ifdef NO_Z3_DEBUGGER
 #define INVOKE_DEBUGGER() exit(ERR_INTERNAL_FATAL)
 #else