3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-14 19:15:41 +00:00

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.
This commit is contained in:
copilot-swe-agent[bot] 2026-07-13 16:32:34 +00:00 committed by GitHub
parent 8c80fe9440
commit 1faba5c769
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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"