about summary refs log tree commit diff
path: root/aterm-gc.supp
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-09-01T12·04+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-09-01T12·04+0000
commitde90fdf908f2504e1a89a5d4660552cbcc1a15d5 (patch)
tree7f7670b5bc4a157eb5466f38e03c8fe2fc152e3b /aterm-gc.supp
parentc9586b6c3f32b22eec8791fd9b49c81ec3f5fcf6 (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