From 1faba5c769e09cba3013f86b7af5772f1aea6bb5 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 13 Jul 2026 16:32:34 +0000
Subject: [PATCH] Fix missing std headers in singlethread WASM wrapper

The makeCCSinglethreadWrapper() function generates a C++ file that uses
SHARED_ERROR_HANDLERS (which references std::exception and std::string).
The singlethread wrapper only included <emscripten.h> and ../../z3.h,
missing <stdexcept> and <string>. The threaded wrapper gets those
transitively through <thread>, but the singlethread wrapper does not
include <thread>. Add the two missing includes to fix the build.
---
 src/api/js/scripts/make-cc-wrapper.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/api/js/scripts/make-cc-wrapper.ts b/src/api/js/scripts/make-cc-wrapper.ts
index 2abbc15390..30ed77455f 100644
--- a/src/api/js/scripts/make-cc-wrapper.ts
+++ b/src/api/js/scripts/make-cc-wrapper.ts
@@ -304,6 +304,9 @@ extern "C" void async_${fn.name}(${paramList}) {
   return `// THIS FILE IS AUTOMATICALLY GENERATED BY ${path.basename(__filename)}
 // DO NOT EDIT IT BY HAND
 
+#include <stdexcept>
+#include <string>
+
 #include <emscripten.h>
 
 #include "../../z3.h"