svn commit: r539431 - head/lang/smlnj

[Mark Linimon]

On Thu, Jun 18, 2020 at 05:04:21PM +0000, Tobias Kortkamp wrote:
> Now the condition looks broken to me.

Hmm.  Somehow it seemed to fix the build for me?

I can change it to the other way if you think necessary.

mcl