diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-12-08 16:26:12 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-12-08 16:26:12 +0000 |
| commit | dbaf61e7fe3de11aa10e8dd62341888e497f0b39 (patch) | |
| tree | 57fa087ef2e2c6151a6b0320b7ca9475abfb6ec5 /CHANGES | |
| parent | 51ff000cad60d81cc73c203e95b21d98fbf82628 (diff) | |
Use ppParendType when printing types args in predicates
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions