| commit | 72f3b7a5ded370e835a23be2f091bbee4e538b4c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 13 15:23:10 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 13 15:23:10 2002 +0000 |
| tree | 560b460f7811bf10e04d63c42c6dd6031a9f056b | |
| parent | 747c3d3f0242022c46213bcd90fb8c1a527be7b6 [diff] |
Added missing casts.