diff options
Diffstat (limited to 'sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch')
| -rw-r--r-- | sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch b/sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch new file mode 100644 index 000000000000..273dd5161080 --- /dev/null +++ b/sci-mathematics/lean/files/lean-3.50.3-gcc-13.patch @@ -0,0 +1,10 @@ +--- a/shell/lean_js_main.cpp ++++ b/shell/lean_js_main.cpp +@@ -4,6 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE. + + Author: Leonardo de Moura + */ ++#include <cstdint> + #include <iostream> + #include <string> + #include "shell/lean_js.h" |