chore: update stage0

arthur-adjedj · May 10, 2024 · dcdc3db · dcdc3db
1 parent 3928686
commit dcdc3db
Show file tree

Hide file tree

Showing 109 changed files with 31,409 additions and 25,084 deletions.
diff --git a/stage0/src/kernel/environment.cpp b/stage0/src/kernel/environment.cpp
diff --git a/stage0/src/library/compiler/lcnf.cpp b/stage0/src/library/compiler/lcnf.cpp
diff --git a/stage0/src/runtime/interrupt.cpp b/stage0/src/runtime/interrupt.cpp
diff --git a/stage0/src/runtime/interrupt.h b/stage0/src/runtime/interrupt.h
diff --git a/stage0/src/stdlib_flags.h b/stage0/src/stdlib_flags.h
@@ -1,7 +1,5 @@
 #include "util/options.h"
 
-// please auto update stage0
-
 namespace lean {
 options get_default_options() {
     options opts;

diff --git a/stage0/stdlib/Init/Control/Lawful/Basic.c b/stage0/stdlib/Init/Control/Lawful/Basic.c
diff --git a/stage0/stdlib/Init/GetElem.c b/stage0/stdlib/Init/GetElem.c