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