On Jan 20, 2013, at 11:45 AM, Watson Ladd <watsonbladd at gmail.com> wrote: > I am trying to update the smlnj port. By the way, I just updated smlnj to 110.75. So if you're doing any work beyond that, you'll want to grab the latest Portfile. vq