Thu Jan 17 10:02:27 PST 2008 simonpj at microsoft.com * Add missing extendSubst Oops -- missed this from previous commit; sorry M ./compiler/coreSyn/CoreSubst.lhs -7 +8