diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-01T12·04+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-01T12·04+0000 |
| commit | de90fdf908f2504e1a89a5d4660552cbcc1a15d5 (patch) | |
| tree | 7f7670b5bc4a157eb5466f38e03c8fe2fc152e3b /aterm-gc.supp | |
| parent | c9586b6c3f32b22eec8791fd9b49c81ec3f5fcf6 (diff) | |
* Allow "$" in strings as long as they are not followed by "{". (Too
bad flex doesn't have lexical restrictions, the current solution isn't quite right...)
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions