Skip to content

Commit

Permalink
chore: move toolchain to v4.5.0-rc1 (#91)
Browse files Browse the repository at this point in the history
  • Loading branch information
kim-em authored Dec 21, 2023
1 parent 646be3a commit 6940439
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion lake-manifest.json
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
[{"url": "https://github.com/leanprover/std4",
"type": "git",
"subDir": null,
"rev": "af7f36db6e7e9e395710a70635f915e8e3a0e69b",
"rev": "ee49cf8fada1bf5a15592c399a925c401848227f",
"name": "std",
"manifestFile": "lake-manifest.json",
"inputRev": "main",
Expand Down
2 changes: 1 addition & 1 deletion lean-toolchain
Original file line number Diff line number Diff line change
@@ -1 +1 @@
leanprover/lean4:v4.4.0
leanprover/lean4:v4.5.0-rc1
2 changes: 1 addition & 1 deletion tests/TraceProof.lean.expected
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ tests/TraceProof.lean:14:2: error: tactic 'aesop' failed, made no progress
tests/TraceProof.lean:20:2: warning: aesop: failed to prove the goal after exhaustive search.
tests/TraceProof.lean:19:15: error: unsolved goals
⊢ False
[aesop.proof] id ?m.36
[aesop.proof] id ?m.18

0 comments on commit 6940439

Please sign in to comment.