diff options
Diffstat (limited to 'math/lean4/files/patch-src_runtime_stack__overflow.cpp')
| -rw-r--r-- | math/lean4/files/patch-src_runtime_stack__overflow.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/lean4/files/patch-src_runtime_stack__overflow.cpp b/math/lean4/files/patch-src_runtime_stack__overflow.cpp index 06914304dbaa..cdd63ffde32a 100644 --- a/math/lean4/files/patch-src_runtime_stack__overflow.cpp +++ b/math/lean4/files/patch-src_runtime_stack__overflow.cpp @@ -1,7 +1,7 @@ ---- src/runtime/stack_overflow.cpp.orig 2023-12-21 22:11:33 UTC +--- src/runtime/stack_overflow.cpp.orig 2025-05-06 09:12:17 UTC +++ src/runtime/stack_overflow.cpp -@@ -20,6 +20,9 @@ Port of the corresponding Rust code (see links below). - #include <lean/lean.h> +@@ -21,6 +21,9 @@ Port of the corresponding Rust code (see links below). + #include <initializer_list> #include "runtime/stack_overflow.h" +#include <pthread_np.h> |