diff options
author | Tim King <taking@google.com> | 2016-09-25 15:52:57 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-09-25 15:52:57 -0700 |
commit | b39f1f56b59dd7efeec99e0636b1a90245d1769c (patch) | |
tree | c64aec79e6277e81a82414334e71749d10c1f029 /proofs | |
parent | 061c6941ae2595333987897f73bb6cf32b053c4b (diff) |
Removing an unused iterator.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions