Files
ports/math/lean/patches/patch-src_shell_lean_js_h

12 lines
287 B
Plaintext

Index: src/shell/lean_js.h
--- src/shell/lean_js.h.orig
+++ src/shell/lean_js.h
@@ -6,6 +6,7 @@ Author: Leonardo de Moura
*/
#pragma once
#include <string>
+#include <cstdint>
void initialize_emscripten();
void finalize_emscripten();
int emscripten_process_request(uintptr_t msg);