chore: update stage0

2025-02-05 16:42:25 +00:00 · 2025-02-05 16:42:25 +00:00 · 20e67945ea
commit 20e67945ea
parent 60aeb79a75
2 changed files with 7153 additions and 4143 deletions
--- a/stage0/src/stdlib_flags.h
+++ b/stage0/src/stdlib_flags.h
@ -1,7 +1,5 @@
 #include "util/options.h"

-// update stage0
-
 namespace lean {
 options get_default_options() {
    options opts;
--- a/stage0/stdlib/Lean/Elab/BuiltinCommand.c
+++ b/stage0/stdlib/Lean/Elab/BuiltinCommand.c