我把satori.sml改了之后就不能运行了QAQ,来找解决办法了