| commit | 4590049228fc8195ba4c123cc67794a1bfbd29d3 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 06 15:32:30 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 06 15:32:30 2001 +0000 |
| tree | 8b6cf38738707fc9b900d9e9917ca96c6fff8ce2 | |
| parent | e6e745fc49f1c8c3e143c1d84cbb8812835bfdec [diff] |
Oops, arg type for the glue routine was wrong.