diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-09-29 14:02:26 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-09-29 14:02:26 +0000 |
| commit | e390c635fc817df5da56c67a72988fe77f2b0318 (patch) | |
| tree | 41a8ec2ef5843215af0bfdb0ba6d72b083a57ae6 /html/minus.gif | |
| parent | 4866f38861d7ebc578dcc5754e40b51fffca8b2f (diff) | |
Use isSymOcc from OccName instead of isConSym
Diffstat (limited to 'html/minus.gif')
0 files changed, 0 insertions, 0 deletions