commit: 37acc90e629fe1c350023be80f091fa13cdc396a

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

Sat Jan 10 09:22:48 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Sat Jan 10 09:24:49 2026 +0000
tree: 6ee0c64a9c64cca9e76d5851e9ca389e31f6d99f
parent: 0348941187cde64993b28c5b9b364b39def22cbc [diff]

fix: use trimAscii when checking docstrings

Use `.trimAscii` to ignore leading/trailing whitespace when comparing
docstrings, since `/-- doc -/` includes the trailing space.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

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

tests/lean/run/issue11799.lean[diff]

1 file changed

tree: 6ee0c64a9c64cca9e76d5851e9ca389e31f6d99f

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.