Skip to content

Commit 057b70b

Browse files
author
Lean stage0 autoupdater
committed
chore: update stage0
1 parent 6775615 commit 057b70b

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

42 files changed

+58857
-53649
lines changed

‎stage0/src/CMakeLists.txt‎

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎stage0/src/stdlib_flags.h‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,5 @@
11
#include "util/options.h"
22

3-
// Please update
43
namespace lean {
54
options get_default_options() {
65
options opts;

‎stage0/stdlib/Init/Grind/Ring/CommSolver.c‎

Lines changed: 141 additions & 141 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)