mirror of
https://github.com/openbsd/ports.git
synced 2026-06-18 07:24:23 +02:00
12 lines
325 B
Plaintext
12 lines
325 B
Plaintext
|
Index: src/shell/lean_js.cpp
|
||
|
|
--- src/shell/lean_js.cpp.orig
|
||
|
|
+++ src/shell/lean_js.cpp
|
||
|
|
@@ -5,6 +5,7 @@ Released under Apache 2.0 license as described in the
|
||
|
|
Author: Leonardo de Moura
|
||
|
|
*/
|
||
|
|
#include <string>
|
||
|
|
+#include <cstdint>
|
||
|
|
#include "library/module_mgr.h"
|
||
|
|
#include "library/st_task_queue.h"
|
||
|
|
#include "library/module.h"
|