[project @ 2005-12-19 11:00:40 by simonpj]
authorsimonpj <unknown>
Mon, 19 Dec 2005 11:00:40 +0000 (11:00 +0000)
committersimonpj <unknown>
Mon, 19 Dec 2005 11:00:40 +0000 (11:00 +0000)
Tiny fix to patterns with type sigs


No differences found