| commit | 72af01aac6ccf6b7b3407e0e6c5f4e11ff101d92 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 23 22:29:06 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 23 22:29:06 2001 +0000 |
| tree | 182ccae47ee59c791afda2737e201eb2749311bc | |
| parent | e54968a11a5d95461aefc2abf0384635d9813798 [diff] |
Added missing cast.