This repository was archived by the owner on Aug 30, 2024. It is now read-only.
Commit ffeb033
committed
R2: indent all elements of forall statement except 'FORALL'
1 parent 42d8f50 commit ffeb033
1 file changed
+1
-0
lines changedLines changed: 1 addition & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1724 | 1724 | | |
1725 | 1725 | | |
1726 | 1726 | | |
| 1727 | + | |
1727 | 1728 | | |
1728 | 1729 | | |
1729 | 1730 | | |
| |||
0 commit comments