diff options
| author | Kathy Gray | 2015-06-30 17:08:13 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-06-30 17:08:13 +0100 |
| commit | 67aabe1c9d7633fe89640482225aaa93f4c0704d (patch) | |
| tree | 378a884e4919bd8b60e7489442e3e60114094d75 /src/initial_check.ml | |
| parent | a5377f57b107351b40f9cd3f303cff6688ccb467 (diff) | |
Change rewriter to better reset dec vectors to count from (length - 1) instead of whatever random spot they might be in, where functions expect length-n to 0
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions