diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-14T14·29+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-14T14·29+0000 |
| commit | e42975490fa96e811c9fd80435ce20c26f8603f8 (patch) | |
| tree | d6bd5a44d9d5d21a65f0faa6e4bd3fb2fe15981b /aterm-gc.supp | |
| parent | 50d11b90caf6545556fc090858c694e19f3c7683 (diff) | |
* Check for duplicate attributes in fixAttrs, rather than doing a
separate traversal after parsing. Likewise, check for duplicate pattern variables right away.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions