diff options
| author | Andrew Waterman | 2016-04-20 15:56:31 -0700 |
|---|---|---|
| committer | Andrew Waterman | 2016-04-20 15:57:21 -0700 |
| commit | 735f5463932dda502b8ce7c843667d0d45faae93 (patch) | |
| tree | a5e52a4c3740b4dcd203b9611fceea68e2905d30 /src/test/resources | |
| parent | 484262d6ce6979276853cbe202fc038b4700ce2d (diff) | |
Use a global namespace for VarWidth names
This matches the unstated assumption in InferWidths.
Closes #135
Diffstat (limited to 'src/test/resources')
0 files changed, 0 insertions, 0 deletions