#! /bin/sh

poly --eval "PolyML.SaveState.loadState(\"smltex.dump\");"
