commit: 932bad98832512f0482ea06a0ec78c4009ef7af9

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Jun 17 16:07:51 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jun 17 16:07:51 2024 -0700
tree: b4d90b0c04b4278fd1b3256c2abaf6e863e223bd
parent: fca87da2d469316b124e6c70be30c93ff36ab458 [diff]

fix: `deprecated` warning position at `simp` arguments

closes #4452

src/Lean/Elab/Term.lean[diff]
tests/lean/4452.lean[Added - diff]
tests/lean/4452.lean.expected.out[Added - diff]

3 files changed

tree: b4d90b0c04b4278fd1b3256c2abaf6e863e223bd

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).