chore: update stage0

2026-03-17 18:34:06 +00:00 · 2025-12-13 09:57:36 +00:00
parent f0e594d5db
commit 6d8a16f137
2 changed files with 0 additions and 2 deletions
--- a/stage0/src/stdlib_flags.h
+++ b/stage0/src/stdlib_flags.h
@@ -1,7 +1,5 @@
 #include "util/options.h"

-// please update stage0
-
 namespace lean {
 options get_default_options() {
    options opts;
--- a/stage0/stdlib/Lean/Meta/Constructions/CtorIdx.c
+++ b/stage0/stdlib/Lean/Meta/Constructions/CtorIdx.c