Skip to content

Fixed typo

647a0f6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

[Python] Fix #816: Handle Dafny 4.11's escaping of reserved names #817

Fixed typo
647a0f6
Select commit
Loading
Failed to load commit list.
Analyze (actions)
succeeded Sep 15, 2025 in 44s