Module Name:	pkgsrc
Committed By:	augustss
Date:		Mon Jan 24 12:21:22 UTC 2000

Modified Files:
	pkgsrc/lang/sml-nj/files: patch-global-names

Log Message:
Apply patch from PR 9114.


To generate a diff of this commit:
cvs rdiff -r1.1.1.1 -r1.2 pkgsrc/lang/sml-nj/files/patch-global-names

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.