diff options
author | David Waern <davve@dtek.chalmers.se> | 2007-12-08 17:59:28 +0000 |
---|---|---|
committer | David Waern <davve@dtek.chalmers.se> | 2007-12-08 17:59:28 +0000 |
commit | 6eb17425fe47b70ed9d70f6d065da9c7699ac5f3 (patch) | |
tree | 86ddb2f7cc371bddaf08c2f0eb13dd1944496566 /tests/pre-2.0-tests | |
parent | 689ec13473c62085346ef38baf3f70d2d7c94df0 (diff) |
Fix a bug (use ppTyName instead of ppName to print names in type apps)
Diffstat (limited to 'tests/pre-2.0-tests')
0 files changed, 0 insertions, 0 deletions