update SML example