diff options
| author | Son Ho | 2024-05-28 18:04:38 +0200 |
|---|---|---|
| committer | Son Ho | 2024-05-28 18:04:38 +0200 |
| commit | 2b5186fef6932995626790af241eaed4e7cc02ae (patch) | |
| tree | 72c9599c7f17423cb2f3cbc52609ad01b84a164d /backends/lean/Base/Progress/Base.lean | |
| parent | ef7792c106a1f33397c206fcb5124b5ddfe64378 (diff) | |
Fix a bug in SymbolicToPure.translate_loop
Diffstat (limited to 'backends/lean/Base/Progress/Base.lean')
0 files changed, 0 insertions, 0 deletions