diff options
| author | Jonathan Protzenko | 2023-02-01 09:51:46 -0800 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | dad646759a3ab9175c8797f144dec9d8e07b54b3 (patch) | |
| tree | 5e3e13528fd13009fd8abef75c9c30b557f1c20c /tests/fstar/misc/Loops.Clauses.fst | |
| parent | 7586cf83f59ca784ff4bfd5d11e460fd41acec98 (diff) | |
Fix runaway indentation
Diffstat (limited to 'tests/fstar/misc/Loops.Clauses.fst')
0 files changed, 0 insertions, 0 deletions