diff options
| author | Ginger Bill <bill@gingerbill.org> | 2017-04-25 09:46:30 +0100 |
|---|---|---|
| committer | Ginger Bill <bill@gingerbill.org> | 2017-04-25 09:46:30 +0100 |
| commit | a80872b60d730d76c4253e7c27eb735dfd13e635 (patch) | |
| tree | ba27c107ed092a2184bdd751190fb5ba9f2bd7c9 /code | |
| parent | 822bb51b55bc62f9d406db80e9d5a71d3a300a19 (diff) | |
Fix checking if a procedure terminates for `for` loops.
Diffstat (limited to 'code')
0 files changed, 0 insertions, 0 deletions