#!/bin/csh
%SML @SMLload=%TWELFDIR/bin/.heap/twelf-sml \
     @SMLdebug=/dev/null