[project @ 2003-11-13 15:03:20 by simonpj]
authorsimonpj <unknown>
Thu, 13 Nov 2003 15:03:22 +0000 (15:03 +0000)
committersimonpj <unknown>
Thu, 13 Nov 2003 15:03:22 +0000 (15:03 +0000)
Maintain renaming envt during tyepcheck, so we can rename a splice


No differences found