| commit | cf0a2cfdb269ba8060f86fe5fe7a2b2085edbbc1 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 05 14:14:05 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 05 14:14:05 2002 +0000 |
| tree | 6b1660885fd7be230e29f756541d11afce0a3b09 | |
| parent | ace9d955b0329558005a88f5711de12e96b356c4 [diff] |
Added a cast to shut up a compiler warning.