diff options
| author |  leino <unknown> | 2014-10-21 18:28:42 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-10-21 18:28:42 -0700 |
| commit | 13d181a688ef5a5f1acd72928f7bef12d146ebad (patch) | |
| tree | ba12e381748c1892e4e12e747fce7f65a6ad60d3 /Source/version.cs | |
| parent | e94dc5817a729ebdd6786deb17e1903974c8b981 (diff) | |
When guessing decreases clauses for loops, convert numeric values to their ultimate base type (int or real) before subtracting
Diffstat (limited to 'Source/version.cs')
0 files changed, 0 insertions, 0 deletions