#! /bin/sh
exec "sml" @SMLload="/opt/local/libexec/twelf/bin/.heap/twelf-server" @SMLdebug=/dev/null
