chore: update to most recent nightly, Bootstrap moved to Lean

mhuisi · mhuisi · commit 1f844d9d3c31 · 2022-09-01T17:59:13.000+02:00
diff --git a/Cli/Basic.lean b/Cli/Basic.lean
@@ -1,4 +1,4 @@
-import Bootstrap.Data.RBTree
+import Lean.Data.RBTree
 
 section Utils
   /--
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-08-30
+leanprover/lean4:nightly-2022-09-01

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-import Bootstrap.Data.RBTree`
	`1`	`+import Lean.Data.RBTree`
`2`	`2`
`3`	`3`	`section Utils`
`4`	`4`	`/--`