chore: trigger stage0 update

leanprover · Jul 21, 2024 · 6e5e664 · 6e5e664
1 parent 1b2ead2
commit 6e5e664
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/stage0/src/stdlib_flags.h b/stage0/src/stdlib_flags.h
@@ -18,3 +18,5 @@ options get_default_options() {
     return opts;
 }
 }
+
+// please update stage0