diff -r ae1a46cdb9cb -r 14ed42540d22 Admin/isatest/settings/at-sml-dev-e
--- a/Admin/isatest/settings/at-sml-dev-e	Tue Feb 08 17:44:53 2011 +0100
+++ b/Admin/isatest/settings/at-sml-dev-e	Tue Feb 08 19:53:35 2011 +0100
@@ -2,7 +2,7 @@
 
 # Standard ML of New Jersey 110 or later
 ML_SYSTEM=smlnj
-ML_HOME="/home/smlnj/110.67/bin"
+ML_HOME="/home/smlnj/110.72/bin"
 ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=256"
 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")