diff options
| author | Andrew Waterman | 2016-06-15 10:54:15 -0700 |
|---|---|---|
| committer | GitHub | 2016-06-15 10:54:15 -0700 |
| commit | b5a534914795d9d17f4dfe623525f1b804e4c60f (patch) | |
| tree | fa36344015f7868238fc8c5b0b9d09120cf48f5c /src/main | |
| parent | 07fa5622ccc995f925d6d967d2a386540c9064cc (diff) | |
Generate better node names when names collide (#221)
Rather than using a global counter, memoize the last returned value for
colliding names to generate smaller sequence numbers.
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions