commit: d539e5c3ac2bc6ce24c2c366f83579450ec321c4

[log]
author: Kim Morrison <kim@tqft.net>

Sat Jul 04 12:02:58 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Sat Jul 04 12:02:58 2026 +0000
tree: 3205256ec32b45221428c1a7d00baec969ae6068
parent: 061fa50bfb1eb555654ee704754d30aef51b0521 [diff]

fix: pass the message to dbgTraceIfShared borrowed

The C implementation only reads the string and never consumed it, so the
owned message leaked on every call with a non-literal message.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

3 files changed

tree: 3205256ec32b45221428c1a7d00baec969ae6068

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.