patch applied (hugs98): fix Cabal bootstrap

23 Oct 2007


      Tue Oct 23 11:39:42 PDT 2007  Ross Paterson 
  * fix Cabal bootstrap

    M ./libraries/tools/make_bootlib -1 +3