commit: 91e3203315c2ab51059504a549ee6f8e6f8dc2a4

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

Sun Aug 11 16:53:40 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Aug 11 16:55:43 2024 -0700
tree: 60da8782416ac751584f24ae3961ee6a9e2ca916
parent: 4236d8a85b17fe1928613a1c300f89ace40a81f5 [diff]

fix: regular mvar assignments take precedence over delayed ones

closes #4920

src/kernel/instantiate_mvars.cpp[diff]
tests/lean/run/4920.lean[Added - diff]

2 files changed

tree: 60da8782416ac751584f24ae3961ee6a9e2ca916

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).